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