tool/cmd_domain.cpp
changeset 1133 860d1c3d08fc
parent 1130 bb1c11adb2db
child 1136 a0982873d655
--- a/tool/cmd_domain.cpp	Wed Jul 23 07:22:47 2008 +0000
+++ b/tool/cmd_domain.cpp	Wed Jul 23 07:24:22 2008 +0000
@@ -39,10 +39,9 @@
     "The process data are displayed as raw hexadecimal bytes.\n"
     "\n"
     "Command-specific options:\n"
-    "  --domain   -d <index> Positive numerical domain index. If this\n"
-    "                        option is not specified, all domains are\n"
-    "                        displayed.\n"
-    "  --verbose  -v         Show FMMUs and process data.\n";
+    "  --domain   -d <index> Positive numerical domain index, or 'all'\n"
+    "                        for all domains (default).\n"
+    "  --verbose  -v         Show FMMUs and process data additionally.\n";
 
 /****************************************************************************/