Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 2ee54263027122487a901500411985c80c241f9e)
+++ Jenkinsfile	(revision e33f3213eb817855f65c2c1a3a7e12bdcc2831e5)
@@ -33,5 +33,6 @@
 		dir ('src/tests') {
 			if (full_build) {
-				sh 'make all-tests'
+				sh 'make all-tests debug=yes'
+				sh 'make all-tests debug=no'
 			}
 			else {