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