diff options
author | Elmar Melcher <elmar@dsc.ufcg.edu.br> | 2021-09-06 19:57:38 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-06 15:57:38 -0700 |
commit | 676ae7e541c9a1d8aa90d32bbfb175797a38a72c (patch) | |
tree | 2c2992578ba315f5b6382d53b3ce7e3b266c42a3 /spike_main | |
parent | 2e8c8cfb89172ab4e9f34b9985e9c1f6aff15e9a (diff) | |
download | spike-676ae7e541c9a1d8aa90d32bbfb175797a38a72c.zip spike-676ae7e541c9a1d8aa90d32bbfb175797a38a72c.tar.gz spike-676ae7e541c9a1d8aa90d32bbfb175797a38a72c.tar.bz2 |
add option --log=<name> to command line help (#795)
Diffstat (limited to 'spike_main')
-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); |