diff --git a/src/travis/linux-before-install.sh b/src/travis/linux-before-install.sh index 7da30cda..f0657fcd 100755 --- a/src/travis/linux-before-install.sh +++ b/src/travis/linux-before-install.sh @@ -72,9 +72,10 @@ else unsafe_flags="--enable-optimizations --with-lto" if [ ! -e Makefile ]; then echo "running configure with safe and unsafe" - ./configure $safe_flags # $unsafe_flags > /dev/null + ./configure $safe_flags $unsafe_flags > /dev/null fi - make -j$cpucount PROFILE_TASK="-m test.regrtest --pgo -j$(( $cpucount * 2 ))" -s + #make -j$cpucount PROFILE_TASK="-m test.regrtest --pgo -j$(( $cpucount * 2 ))" -s + make -j$cpucount -s RESULT=$? echo "First make exited with $RESULT" if [ $RESULT != 0 ]; then