Suppress unused-variable warnings in spike main

4 years ago · 97219fe85e
1 changed files with 1 additions and 1 deletions
--- 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;