typecheck-gcc and other things require optimized builds
Closes #1544
include:
- os: linux
compiler: gcc
- env: BUILD_TYPE=normal
+ env: BUILD_TYPE=debug
- os: linux
compiler: clang
env: BUILD_TYPE=normal
env: BUILD_TYPE=normal
- os: osx
compiler: clang
- env: BUILD_TYPE=normal
+ env: BUILD_TYPE=debug
- os: linux
compiler: gcc
dist: trusty
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