From: Claire Xenia Wolf <claire@clairexen.net>
Date: Tue, 14 Dec 2021 20:38:58 +0000 (+0100)
Subject: Hotfix for run_shell auto-detection
X-Git-Tag: yosys-0.13~28
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e1c7a9a64734d9fe81edec7d5bb9708b0ae88f26;p=yosys.git

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 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;