From 504b163caa90b9e3be61f779cc903e2cfa2c35a6 Mon Sep 17 00:00:00 2001 From: Samuel Browne Date: Tue, 4 Jun 2024 10:31:25 -0600 Subject: [PATCH] Force use of the system in the genconfig build name We may want to use rhel8 builds on systems still declared as RHEL7 (and vice-versa). --- packages/framework/pr_tools/LaunchDriver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/framework/pr_tools/LaunchDriver.py b/packages/framework/pr_tools/LaunchDriver.py index 325aeac0aa46..72cccc84d7b8 100755 --- a/packages/framework/pr_tools/LaunchDriver.py +++ b/packages/framework/pr_tools/LaunchDriver.py @@ -91,7 +91,7 @@ def main(argv): print("LaunchDriver> INFO: TRILINOS_DIR=\"" + os.environ["TRILINOS_DIR"] + "\"", flush=True) - ds = DetermineSystem(args.build_name, args.supported_systems) + ds = DetermineSystem(args.build_name, args.supported_systems, force_build_name=True) launch_env = get_launch_env(ds.system_name) launch_cmd = get_launch_cmd(ds.system_name)