Skip to content
Snippets Groups Projects
Commit 85adaa04 authored by gback's avatar gback
Browse files

add -j 20 to make

parent ff94548e
No related branches found
No related tags found
No related merge requests found
...@@ -164,7 +164,7 @@ def setup_working_directory(): ...@@ -164,7 +164,7 @@ def setup_working_directory():
os.chdir(workdir) os.chdir(workdir)
if os.system("make"): if os.system("make -j 20"):
if grade_mode: if grade_mode:
op = open(results_file, 'w') op = open(results_file, 'w')
op.write(json.dumps({'error': 'did not compile'})) op.write(json.dumps({'error': 'did not compile'}))
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment