From 875dc9a27edfa1d8d5c113604b9ffd5cb62591d4 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Tue, 30 Jul 2019 18:40:27 -0400
Subject: [PATCH] --debug doesn't take an arg

---
 bin/verilator | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/verilator b/bin/verilator
index 1cf92d3db..d935ce1e3 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -56,7 +56,7 @@ Getopt::Long::config("no_auto_abbrev","pass_through");
 if (! GetOptions(
           # Major operating modes
           "help"        => \&usage,
-          "debug:s"     => \&debug,
+          "debug"       => \&debug,
           # "version!"  => \&version,   # Also passthru'ed
           # Switches
           "gdb!"        => \$opt_gdb,