From 97219fe85eecdcc298078b6b94db44cdb99b4cab Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Thu, 22 Sep 2022 18:41:59 -0700
Subject: Suppress unused-variable warnings in spike main

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

(limited to 'spike_main/spike.cc')

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