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 321e56358..4b7b7bb0a 100755 --- a/scripts/travis/script.sh +++ b/scripts/travis/script.sh @@ -49,7 +49,7 @@ if [ "$T" = "debug" ]; then make make examples if [ -z $NOTESTS ]; then - make TFLAGS= test-nonflaky + make test-nonflaky fi fi |