Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision ea5b7d6404672e44c86d9619138a0e04d3c4b2dc)
+++ Jenkinsfile	(revision 3fc5f010b953cf11d37ccd8b2abff9a22a32e4f6)
@@ -277,5 +277,12 @@
 			//Use the current directory as the installation target so nothing escapes the sandbox
 			//Also specify the compiler by hand
-			sh "${srcdir}/configure CXX=${compiler.cpp_cc} ${architecture} --with-backend-compiler=${compiler.cfa_cc} --quiet"
+			targets=""
+			if(do_alltests) {
+				targets="--with-target-hosts='host:nodebug,host:debug'"
+			} else {
+				targets="--with-target-hosts='host:nodebug'"
+			}
+
+			sh "${srcdir}/configure CXX=${compiler.cpp_cc} ${architecture} ${targets} --with-backend-compiler=${compiler.cfa_cc} --quiet"
 
 			//Compile the project