From f28f8bc2bf692c9fedaf3e2907b533bc34815ebe Mon Sep 17 00:00:00 2001 From: Tyeth Gundry Date: Wed, 13 Sep 2023 16:07:38 +0100 Subject: [PATCH] Remove timeout value from sys.argv as well --- build_platform.py | 1 + 1 file changed, 1 insertion(+) diff --git a/build_platform.py b/build_platform.py index dbe851dd..f32e5df3 100644 --- a/build_platform.py +++ b/build_platform.py @@ -24,6 +24,7 @@ if "--build_timeout" in sys.argv: BUILD_TIMEOUT = True popen_timeout = sys.argv[sys.argv.index("--build_timeout") + 1] + sys.argv.pop(sys.argv.index("--build_timeout") + 1) sys.argv.remove("--build_timeout")