From e1c7a9a64734d9fe81edec7d5bb9708b0ae88f26 Mon Sep 17 00:00:00 2001 From: Claire Xenia Wolf Date: Tue, 14 Dec 2021 21:38:58 +0100 Subject: [PATCH] Hotfix for run_shell auto-detection Signed-off-by: Claire Xenia Wolf --- kernel/driver.cc | 3 +++ 1 file changed, 3 insertions(+) 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; -- 2.30.2