add the option to give a -j to make

diff --git a/run_make b/run_make
index e1faf355666c38513bf360c27cf6235d72792ac5..f26bcfc2022a2e074ece383996222ce2dd29529f 100755 (executable)
--- a/run_make
+++ b/run_make
@@ -1,7 +1,12 @@
 #!/bin/bash
 
+MAKE_OPTS=
+
+if [ -n "$MAKE_PARALLEL" ]; then
+    MAKE_OPTS=-j "$MAKE_PARALLEL"
+fi;
 if [ -n "$MAKE_TARGET" ]; then
-    make "$MAKE_TARGET";
+    make $MAKE_OPTS "$MAKE_TARGET";
 else
-    make;
+    make $MAKE_OPTS;
 fi;