diff options
Diffstat (limited to '')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 840ce8e..f0f9ee4 100644 --- a/.travis.yml +++ b/.travis.yml @@ -42,7 +42,7 @@ after_success: - make mutator-lvl0 CXX=clang-4.0 LLVM_CONF=llvm-config-4.0 BUILD_MODE=COV_GNU - echo "deb http://old-releases.ubuntu.com/ubuntu/ hardy universe" | sudo tee -a /etc/apt/sources.list - sudo apt-get update -y - - sudo apt-get install gcc-4.2 g++-4.2 + #- sudo apt-get install gcc-4.2 g++-4.2 - sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.2 60 --slave /usr/bin/g++ g++ /usr/bin/g++-4.2 - make install - ./mutator-lvl0 -SysHeader=false -MainOnly=true ./test/testFuncs1.c ./test/testFuncs2.c -- -std=c90 -I/usr/lib/gcc/i686-linux-gnu/4.9/include -Wall |