refactor make_jobspec
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py
index 7d3a638..767b801 100755
--- a/tools/run_tests/run_tests.py
+++ b/tools/run_tests/run_tests.py
@@ -774,8 +774,8 @@
env=env)
sys.exit(0)
-if platform_string() == 'windows':
- def make_jobspec(cfg, targets, makefile='Makefile'):
+def make_jobspec(cfg, targets, makefile='Makefile'):
+ if platform_string() == 'windows':
extra_args = []
# better do parallel compilation
# empirically /m:2 gives the best performance/price and should prevent
@@ -793,8 +793,7 @@
language_make_options,
shell=True, timeout_seconds=None)
for target in targets]
-else:
- def make_jobspec(cfg, targets, makefile='Makefile'):
+ else:
if targets:
return [jobset.JobSpec([os.getenv('MAKE', 'make'),
'-f', makefile,
@@ -807,6 +806,7 @@
timeout_seconds=None)]
else:
return []
+
make_targets = {}
for l in languages:
makefile = l.makefile_name()