Don't use '-j' option for make. It is not always supported

kosloot · Dec 17, 2019 · dfdfc25 · dfdfc25
1 parent 4f488be
commit dfdfc25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/redo-everything-from-scratch b/redo-everything-from-scratch
@@ -98,7 +98,7 @@ do
 	    fi
 
 	    echo -n ", making"
-	    make -j install >> ../$name.log 2>&1
+	    make install >> ../$name.log 2>&1
 	    if [ $? -ne 0 ];
 	    then
 		echo -e $FAIL