From 1df65613df9970dc7f5c2f3d1bf343dbb0497828 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Sat, 30 Apr 2022 16:59:07 -0700
Subject: Add missing description of --dtb in --help message

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

diff --git a/spike_main/spike.cc b/spike_main/spike.cc
index 5529045..3629e35 100644
--- a/spike_main/spike.cc
+++ b/spike_main/spike.cc
@@ -56,6 +56,7 @@ static void help(int exit_code = 1)
   fprintf(stderr, "                        This flag can be used multiple times.\n");
   fprintf(stderr, "  --rbb-port=<port>     Listen on <port> for remote bitbang connection\n");
   fprintf(stderr, "  --dump-dts            Print device tree string and exit\n");
+  fprintf(stderr, "  --dtb=<path>          Use specified device tree blob [default: auto-generate]\n");
   fprintf(stderr, "  --disable-dtb         Don't write the device tree blob into memory\n");
   fprintf(stderr, "  --kernel=<path>       Load kernel flat image into memory\n");
   fprintf(stderr, "  --initrd=<path>       Load kernel initrd into memory\n");
-- 
cgit v1.1