diff options
| -rw-r--r-- | .ci/gcc.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/.ci/gcc.sh b/.ci/gcc.sh index 3e4ed505da..2e760c7b68 100644 --- a/.ci/gcc.sh +++ b/.ci/gcc.sh @@ -2,11 +2,12 @@ sudo pip install cpp-coveralls -if [ "$TRAVIS_OS_NAME" = "linux" ]; then - sudo apt-get install valgrind - export VALGRIND=1 - export VALGRIND_LOG="$tmpdir/valgrind-%p.log" -fi +# FIXME: Valgrind temporarily disabled (Timeouts on Travis). +# if [ "$TRAVIS_OS_NAME" = "linux" ]; then +# sudo apt-get install valgrind +# export VALGRIND=1 +# export VALGRIND_LOG="$tmpdir/valgrind-%p.log" +# fi setup_deps x64 |