From 4587ace51440bb9020bd38703b62f812f6bdc68b Mon Sep 17 00:00:00 2001
From: LIU Yu <liuy@etech-inc.com>
Date: Thu, 29 Feb 2024 16:27:12 +0800
Subject: Fix help message to document `--device=<name>,<args>` usage by #1522

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

diff --git a/spike_main/spike.cc b/spike_main/spike.cc
index b5a1ce4..09a1fe8 100644
--- a/spike_main/spike.cc
+++ b/spike_main/spike.cc
@@ -53,7 +53,8 @@ static void help(int exit_code = 1)
   fprintf(stderr, "  --l2=<S>:<W>:<B>        B both powers of 2).\n");
   fprintf(stderr, "  --big-endian          Use a big-endian memory system.\n");
   fprintf(stderr, "  --misaligned          Support misaligned memory accesses\n");
-  fprintf(stderr, "  --device=<name>       Attach MMIO plugin device from an --extlib library\n");
+  fprintf(stderr, "  --device=<name>       Attach MMIO plugin device from an --extlib library,\n");
+  fprintf(stderr, "                          specify --device=<name>,<args> to pass down extra args.\n");
   fprintf(stderr, "  --log-cache-miss      Generate a log of cache miss\n");
   fprintf(stderr, "  --log-commits         Generate a log of commits info\n");
   fprintf(stderr, "  --extension=<name>    Specify RoCC Extension\n");
-- 
cgit v1.1