diff --git a/.travis.yml b/.travis.yml index 1fed71a2e..d4b848c8d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -479,7 +479,7 @@ script: if [ "$T" = "debug-mesalink" ]; then ./configure --enable-debug --enable-werror $C make - make "TFLAGS=-n !313" test-nonflaky + make "TFLAGS=-n !313 !3001" test-nonflaky fi - | set -eo pipefail