diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2021-12-14 21:38:58 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2021-12-14 21:38:58 +0100 |
| commit | e1c7a9a64734d9fe81edec7d5bb9708b0ae88f26 (patch) | |
| tree | ac3fe3b8775ab32b186eea3e53215762ad077843 /kernel | |
| parent | b07ca8756a6ca4fafd725f008ac871a0e24d75e8 (diff) | |
| download | yosys-e1c7a9a64734d9fe81edec7d5bb9708b0ae88f26.tar.gz yosys-e1c7a9a64734d9fe81edec7d5bb9708b0ae88f26.tar.bz2 yosys-e1c7a9a64734d9fe81edec7d5bb9708b0ae88f26.zip | |
Hotfix for run_shell auto-detection
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/driver.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 7690c2ed2..f8f940e89 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -370,6 +370,7 @@ int main(int argc, char **argv) exit(0); case 'S': passes_commands.push_back("synth"); + run_shell = false; break; case 'g': log_force_debug++; @@ -382,9 +383,11 @@ int main(int argc, char **argv) break; case 'H': passes_commands.push_back("help"); + run_shell = false; break; case 'h': passes_commands.push_back(stringf("help %s", optarg)); + run_shell = false; break; case 'b': backend_command = optarg; |