From 676ae7e541c9a1d8aa90d32bbfb175797a38a72c Mon Sep 17 00:00:00 2001
From: Elmar Melcher <elmar@dsc.ufcg.edu.br>
Date: Mon, 6 Sep 2021 19:57:38 -0300
Subject: add option --log=<name> to command line help (#795)

---
 spike_main/spike.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'spike_main')

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);
-- 
cgit v1.1