Browse Source

add option --log=<name> to command line help (#795)

pull/797/head
Elmar Melcher 5 years ago
committed by GitHub
parent
commit
676ae7e541
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      spike_main/spike.cc

1
spike_main/spike.cc

@ -34,6 +34,7 @@ static void help(int exit_code = 1)
#endif
fprintf(stderr, " -h, --help Print this help message\n");
fprintf(stderr, " -H Start halted, allowing a debugger to connect\n");
fprintf(stderr, " --log=<name> File name for option -l\n");
fprintf(stderr, " --isa=<name> RISC-V ISA string [default %s]\n", DEFAULT_ISA);
fprintf(stderr, " --priv=<m|mu|msu> RISC-V privilege modes supported [default %s]\n", DEFAULT_PRIV);
fprintf(stderr, " --varch=<name> RISC-V Vector uArch string [default %s]\n", DEFAULT_VARCH);

Loading…
Cancel
Save