aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Rugg <pdr32@cam.ac.uk>2021-03-17 13:59:49 +0000
committerRobert Norton <robert.m.norton@gmail.com>2021-06-29 13:12:03 +0100
commitf66d0fbaf2618543d9c1296541bb6f02d0fe6c2c (patch)
tree9159780030646f4cf893d274f9c3df55147898bd
parent83718b6984fc06b3a88df0b4106614091cc28e3b (diff)
downloadsail-riscv-f66d0fbaf2618543d9c1296541bb6f02d0fe6c2c.zip
sail-riscv-f66d0fbaf2618543d9c1296541bb6f02d0fe6c2c.tar.gz
sail-riscv-f66d0fbaf2618543d9c1296541bb6f02d0fe6c2c.tar.bz2
Guard arguments to getopt_long with appropriate ifdefs
-rw-r--r--c_emulator/riscv_sim.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/c_emulator/riscv_sim.c b/c_emulator/riscv_sim.c
index 1967c2f..a1e4075 100644
--- a/c_emulator/riscv_sim.c
+++ b/c_emulator/riscv_sim.c
@@ -230,11 +230,15 @@ char *process_args(int argc, char **argv)
"t:"
"T:"
"h"
+#ifdef RVFI_DII
"r:"
+#endif
"V::"
"v::"
"l:"
+#ifdef SAILCOV
"c:"
+#endif
, options, NULL);
if (c == -1) break;
switch (c) {