diff options
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index ce648d0ad..8a5cb8223 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -213,7 +213,8 @@ struct ShellPass : public Pass { log("Press Ctrl-D to leave the interactive shell.\n"); log("\n"); } - virtual void execute(std::vector<std::string>, RTLIL::Design *design) { + virtual void execute(std::vector<std::string> args, RTLIL::Design *design) { + extra_args(args, 1, design, false); shell(design); } } ShellPass; |