From ceb4beeb84d065b1bbb8d705f79e0ac83a642871 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 19 Jun 2014 09:26:44 +0000
Subject: [PATCH] runtime/c/setup.sh: use make -j to speed up compilation

The configuration script takes significantly longer to run than the compilation
of all the C code, which is a hint that is in need of a major simplification.
---
 src/runtime/c/setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runtime/c/setup.sh b/src/runtime/c/setup.sh
index d77bf6873..fdc8f7aec 100644
--- a/src/runtime/c/setup.sh
+++ b/src/runtime/c/setup.sh
@@ -11,7 +11,7 @@ case "$command" in
     ./configure "$@"
     ;;
   build)
-    make "$@"
+    make -j "$@"
     ;;
   copy|install)
     make install "$@"