Make one of the CI jobs build in release mode

It seems reasonable to run tests with the real release binary.

diff --git a/.travis.yml b/.travis.yml
index 60b96362d6f1cad2953a273f2141a3b0779bf582..c811f47107df317be2ef2f0bbf4befd85461e6eb 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,10 +6,10 @@ script: ci/build
 jobs:
   include:
 
-  # Job 1: Build (in source directory) on Linux with native GCC
+  # Job 1: Build (in source directory) on Linux with native GCC in release build mode
   - os: linux
     compiler: gcc
-    env: T="Linux GCC" VERBOSE=1 ENABLE_CACHE_CLEANUP_TESTS=1 BUILDDIR=. CCACHE_LOC=.
+    env: T="Linux GCC release" VERBOSE=1 ENABLE_CACHE_CLEANUP_TESTS=1 BUILDDIR=. CCACHE_LOC=. CMAKE_PARAMS="-DCMAKE_BUILD_TYPE=Release"
     addons:
       apt:
         packages: