diff options
author | Andrew Waterman <andrew@sifive.com> | 2022-09-22 18:41:59 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2022-10-04 15:40:28 -0700 |
commit | 97219fe85eecdcc298078b6b94db44cdb99b4cab (patch) | |
tree | 5a1b5d784e998df0b0988dc1f0f80d3488a62da2 /spike_main/spike.cc | |
parent | 258a0c62eb400380d72fade82e154a4bd2af9b83 (diff) | |
download | spike-97219fe85eecdcc298078b6b94db44cdb99b4cab.zip spike-97219fe85eecdcc298078b6b94db44cdb99b4cab.tar.gz spike-97219fe85eecdcc298078b6b94db44cdb99b4cab.tar.bz2 |
Suppress unused-variable warnings in spike main
Diffstat (limited to 'spike_main/spike.cc')
-rw-r--r-- | spike_main/spike.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 571c56d..44db7cd 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -243,7 +243,7 @@ int main(int argc, char** argv) bool halted = false; bool histogram = false; bool log = false; - bool socket = false; // command line option -s + bool UNUSED socket = false; // command line option -s bool dump_dts = false; bool dtb_enabled = true; const char* kernel = NULL; |