diff options
Diffstat (limited to 'spike_main')
| -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; |