Hotfix for run_shell auto-detection

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 7690c2ed2db350c85cf678f7426788cf5107c93d..f8f940e892a806391c0ce90b5b3006bf9c9040cd 100644 (file)
--- 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;