Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 2ee54263027122487a901500411985c80c241f9e)
+++ Jenkinsfile	(revision 596f987b3b97b71c5ffd2f87a1b6f90e82761547)
@@ -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 {