make builds with 8 threads

Author: Tim Adye

make.sh

@@ -16,7 +16,7 @@ mkdir -p "$BUILD_DIR" "$RUNDIR"
 [ -d $(basename "$RUNDIR")    ] || ln -nfs "$RUNDIR"    .
 cd "$BUILD_DIR"
 cmake3 "$SRCDIR" -DCMAKE_BUILD_TYPE="$BUILD_TYPE" -DCMAKE_INSTALL_PREFIX="$RUNDIR" -DCMAKE_INSTALL_MESSAGE=LAZY "$@" || exit
-make install || exit
+make -j8 install || exit
 cd "$RUNDIR"
 ln -nfs "$BUILD_DIR/Test"* "$BUILD_DIR/Bench"* "$SRCDIR/test/"*.sh "$SRCDIR/test/"*.py $(dirname "$MAKE_SH")/make*.sh .
 ln -nfs "$SETUP_SH" setup.sh