diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 74b30c495..6263dc6d6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -458,7 +458,7 @@ script: - | set -eo pipefail if [ "$T" = "coverage" ]; then - ./configure --enable-debug --disable-shared --enable-code-coverage --enable-werror + ./configure --enable-debug --disable-shared --disable-threaded-resolver --enable-code-coverage --enable-werror make make TFLAGS=-n test-nonflaky make "TFLAGS=-n -e" test-nonflaky |