From cec74b0208d11fca8a4f0fa56aa4a6b6ce09ec4d Mon Sep 17 00:00:00 2001 From: Bram Matthys Date: Mon, 23 Oct 2017 12:38:57 +0200 Subject: [PATCH] Use MAKE="make -j3" to make ./Config run faster as well. --- extras/build-tests/nix/build | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/extras/build-tests/nix/build b/extras/build-tests/nix/build index cfbd16985..ffa177766 100755 --- a/extras/build-tests/nix/build +++ b/extras/build-tests/nix/build @@ -10,9 +10,11 @@ if [ "$1" != "" ]; then BUILDCONFIG="$1" fi +export MAKE="make -j3" + extras/build-tests/nix/select-config $BUILDCONFIG ./Config -quick -make -j3 +$MAKE yes ''|make pem make install