travis: let some builds *not* use --enable-debug

typecheck-gcc and other things require optimized builds

Closes #1544

diff --git a/.travis.yml b/.travis.yml
index 7069e1ed616770910943e0622f0e85eab93ab05f..080f5fc131bf98fdf7c3c783dbdf633eb82a2bb5 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -16,7 +16,7 @@ matrix:
     include:
         - os: linux
           compiler: gcc
-          env: BUILD_TYPE=normal
+          env: BUILD_TYPE=debug
         - os: linux
           compiler: clang
           env: BUILD_TYPE=normal
@@ -25,7 +25,7 @@ matrix:
           env: BUILD_TYPE=normal
         - os: osx
           compiler: clang
-          env: BUILD_TYPE=normal
+          env: BUILD_TYPE=debug
         - os: linux
           compiler: gcc
           dist: trusty
@@ -62,11 +62,17 @@ script:
              coveralls --gcov /usr/bin/gcov-4.8 --gcov-options '\-lp' -i src -i lib -i lib/vtls -i lib/vauth -e tests -e docs
         fi
     - |
-        if [ "$BUILD_TYPE" = "normal" ]; then
+        if [ "$BUILD_TYPE" = "debug" ]; then
              ./configure --enable-debug
              make
              make TFLAGS=-n test-nonflaky
         fi
+    - |
+        if [ "$BUILD_TYPE" = "normal" ]; then
+             ./configure
+             make
+             make TFLAGS=-n test-nonflaky
+        fi
     - |
         if [ "$BUILD_TYPE" = "cmake" ]; then
              mkdir build