diff --git a/extras/build-tests/nix/build b/extras/build-tests/nix/build index ed377df86..cfbd16985 100755 --- a/extras/build-tests/nix/build +++ b/extras/build-tests/nix/build @@ -13,6 +13,7 @@ fi extras/build-tests/nix/select-config $BUILDCONFIG ./Config -quick make -j3 +yes ''|make pem make install set +x