From b181cc315729bf2662a0af1c2c8f27e7c8032519 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Wed, 27 Nov 2013 14:54:06 +0100
Subject: [PATCH] package: compile in Release mode for Jenkins CI.

Might point out various compiler misoptimizations.
---
 package/ci/jenkins.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/package/ci/jenkins.xml b/package/ci/jenkins.xml
index 1c8ab5127..48a62e9f7 100644
--- a/package/ci/jenkins.xml
+++ b/package/ci/jenkins.xml
@@ -107,6 +107,7 @@ elif [ ${gl} = "es3" ] ; then
 fi
 
 cmake .. \
+    -DCMAKE_BUILD_TYPE=Release \
     -DCMAKE_FIND_ROOT_PATH=${JENKINS_HOME}/filesystem/${compiler}-${libraries} \
     -DCMAKE_INSTALL_PREFIX=${JENKINS_HOME}/filesystem/${compiler}-${libraries}-${compatibility}-${gl} \
     -DCMAKE_CXX_COMPILER=${compiler} \