Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 3fc5f010b953cf11d37ccd8b2abff9a22a32e4f6)
+++ Jenkinsfile	(revision 6bde81df7760078a409d1085f78673c8f1ac474e)
@@ -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'"
 			}