diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-03-03 10:05:37 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-03-03 10:05:37 +0100 |
| commit | 4fcb9a7b9907cd0242ce6f9c4a3855ba20ca9017 (patch) | |
| tree | 3b15a9e704ca03e5bb0aceb306f4fe1c12dd61e5 /kernel/driver.cc | |
| parent | 5bed90ae3a83c6ff456607e1b5541308ce9bcab9 (diff) | |
Implemented general handler for selection arguments
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 ce648d0a..8a5cb822 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; |