diff --git a/package/ci/jenkins-gltests.xml b/package/ci/jenkins-gltests.xml index 775ef1f5e..d6794e420 100644 --- a/package/ci/jenkins-gltests.xml +++ b/package/ci/jenkins-gltests.xml @@ -50,6 +50,7 @@ compiler + g++-noassert g++ g++-4.8 g++-4.7 diff --git a/package/ci/jenkins.xml b/package/ci/jenkins.xml index 0115c23c4..d3a88cfa6 100644 --- a/package/ci/jenkins.xml +++ b/package/ci/jenkins.xml @@ -52,6 +52,7 @@ compiler + g++-noassert g++ g++-4.8 g++-4.7 @@ -81,6 +82,9 @@ if [ ${compiler} = "clang++-libc++" ] ; then compiler_binary=clang++ compiler_flags=(-DCMAKE_CXX_FLAGS="-std=c++11 -stdlib=libc++" -DCMAKE_EXE_LINKER_FLAGS=-lc++abi) +elif [ ${compiler} == "g++-noassert" ] ; then + compiler_binary=g++ + compiler_flags=(-DCMAKE_CXX_FLAGS="-DCORRADE_NO_ASSERT") else compiler_binary=${compiler} fi