Jenkinsfile: Run full testing

diff --git a/Jenkinsfile b/Jenkinsfile
index 01101cc3a8096bd7fee2fbbb25a8eb09872fa8a3..993a7f26bb7b50d3549e0ae166654e3d60797b6b 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ node('CLIENT') {
         sh '''rm -rf build
                mkdir build
                cd build
-               cmake -DUNIT_TESTING=1 -DBUILD_WITH_QT4=OFF ..
+               cmake -DUNIT_TESTING=1 -DWITH_TESTING=1 -DBUILD_WITH_QT4=OFF ..
                make -j4
                ctest --output-on-failure'''
 
@@ -17,7 +17,7 @@ node('CLIENT') {
         sh '''rm -rf build
                mkdir build
                cd build
-               cmake -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DUNIT_TESTING=1 -DBUILD_WITH_QT4=OFF ..
+               cmake -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DUNIT_TESTING=1 -DWITH_TESTING=1 -DBUILD_WITH_QT4=OFF ..
                make -j4
                ctest --output-on-failure'''