Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 3fc5f010b953cf11d37ccd8b2abff9a22a32e4f6)
+++ Jenkinsfile	(revision 5a5d31a2a5f79b60f24225ffc8c5d8d420ec352b)
@@ -279,7 +279,7 @@
 			targets=""
 			if(do_alltests) {
-				targets="--with-target-hosts='host:nodebug,host:debug'"
+				targets="--with-target-hosts='host:debug,host:nodebug'"
 			} else {
-				targets="--with-target-hosts='host:nodebug'"
+				targets="--with-target-hosts='host:debug'"
 			}