update

[l4.git] / kernel / fiasco / src / jdb / jdb_trace.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_trace.cpp b/kernel/fiasco/src/jdb/jdb_trace.cpp
index 19db0d4b5c582c26938095230838ff8e7bafbce3..0b66e33df2d32f25270a37833ae69124a0654322 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_trace.cpp
+++ b/kernel/fiasco/src/jdb/jdb_trace.cpp
@@ -133,9 +133,10 @@ Jdb_ipc_trace::show()
     putstr("IPC tracing to tracebuffer enabled");
   else if (_log)
     {
-      printf("IPC logging%s%s enabled",
+      printf("IPC logging%s%s enabled%s",
          _log_result ? " incl. results" : "",
-         _log_to_buf ? " to tracebuffer" : "");
+         _log_to_buf ? " to tracebuffer" : "",
+          _log_to_buf ? "" : " (exit with 'i', proceed with other key)");
       if (_gthread != 0)
        {
          printf("\n    restricted to thread%s %lx%s",