From 88e5ce18d5a28839f65a1ce91bbc58fc0a164a9d Mon Sep 17 00:00:00 2001 From: Vojtech Forejt Date: Thu, 2 Feb 2017 22:55:01 +0000 Subject: [PATCH] Do not optimise when compiling on travis --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 232a4b708ad..a5858024a0d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -41,6 +41,6 @@ matrix: script: - if [ -L bin/gcc ] ; then export PATH=$PWD/bin:$PATH ; fi ; make -C src minisat2-download && - make -C src CXX=$COMPILER CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 && + make -C src CXX=$COMPILER CXXFLAGS="-Wall -O0 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 && make -C regression test && - make -C src CXX=$COMPILER CXXFLAGS="-Wall -O2 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir + make -C src CXX=$COMPILER CXXFLAGS="-Wall -O0 -g -Werror -Wno-deprecated-register -pedantic -Wno-sign-compare" -j2 aa-symex.dir cegis.dir clobber.dir memory-models.dir musketeer.dir