diff options
| -rwxr-xr-x | scripts/travis/script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis/script.sh b/scripts/travis/script.sh index 26d5aaaf0..050eb0fdd 100755 --- a/scripts/travis/script.sh +++ b/scripts/travis/script.sh @@ -62,7 +62,7 @@ fi if [ "$T" = "debug-mesalink" ]; then ./configure --enable-debug --enable-werror $C make - make "TFLAGS=-n !313 !3001" test-nonflaky + make "TFLAGS=-n !313 !410 !3001" test-nonflaky fi if [ "$T" = "novalgrind" ]; then |