fix help message
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 5 Jan 2016 18:36:25 +0000 (10:36 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 5 Jan 2016 18:36:44 +0000 (10:36 -0800)
spike_main/spike.cc

index 13983a00486aa43f6e150a123ba8026384276fb0..950b1081dfc8a22b099b54aead9f8a4433d0e697 100644 (file)
@@ -17,8 +17,8 @@ static void help()
 {
   fprintf(stderr, "usage: spike [host options] <target program> [target options]\n");
   fprintf(stderr, "Host Options:\n");
-  fprintf(stderr, "  -p <n>             Simulate <n> processors [default 1]\n");
-  fprintf(stderr, "  -m <n>             Provide <n> MiB of target memory [default 4096]\n");
+  fprintf(stderr, "  -p<n>              Simulate <n> processors [default 1]\n");
+  fprintf(stderr, "  -m<n>              Provide <n> MiB of target memory [default 4096]\n");
   fprintf(stderr, "  -d                 Interactive debug mode\n");
   fprintf(stderr, "  -g                 Track histogram of PCs\n");
   fprintf(stderr, "  -l                 Generate a log of execution\n");