diff options
| -rw-r--r-- | spike_main/spike.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index b7a1bdf..46d5537 100644 --- a/spike_main/spike.cc +++ b/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); |