diff options
-rw-r--r-- | .travis.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index b39fa8a92..3102a474c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -316,6 +316,11 @@ script: - | set -eo pipefail if [ "$T" = "normal" ]; then + if [ $TRAVIS_OS_NAME = linux ]; then + # Remove system curl to make sure we don't rely on it. + # Only done on Linux since we're not permitted to on mac. + sudo rm -f /usr/bin/curl + fi ./configure --enable-warnings --enable-werror $C make && make examples if [ -z $NOTESTS ]; then |