From 95c0829d5c2da0a427223c68f132b86cc420b4e9 Mon Sep 17 00:00:00 2001
From: Tobias Langer <tobias.langer@oth-regensburg.de>
Date: Sun, 9 Oct 2016 12:06:04 +0200
Subject: [PATCH] Parallelization for building our stuff.

---
 runner.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
--
libgit2 0.26.0