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