travis: detect and use valgrind for normal builds

Closes #1653

diff --git a/.travis.yml b/.travis.yml
index bf9ff17858b37e3c7415406c001cc5036a8c0124..db2206bfe61f4f443d84acf1865e6b6c272a15f2 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -81,7 +81,7 @@ script:
         if [ "$BUILD_TYPE" = "normal" ]; then
              ./configure --enable-werror
              make
-             make TFLAGS=-n test-nonflaky
+             make test-nonflaky
         fi
     - |
         if [ "$BUILD_TYPE" = "cmake" ]; then