diff --git a/runner.py b/runner.py index d088d9b..a0683c3 100755 --- a/runner.py +++ b/runner.py @@ -62,7 +62,7 @@ def main(): args = parser.parse_args() with cd(args.path): - result = call(['make']) + result = call(['make', '-j10']) if result is not 0 and result is not 2: print('Failed building the experiments!', file=sys.stderr) sys.exit(1)