From 1270a315b252c5427b32de5715e066852965981b Mon Sep 17 00:00:00 2001 From: Jay Lee Date: Thu, 21 May 2020 10:18:36 -0400 Subject: [PATCH] it wasn't the unsafe flags... --- src/travis/linux-before-install.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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