supporting disabled tools, fixes #11457

[wxWidgets.git] / build / buildbot / config / ravnsgaard.xml

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index 0c95c1a34dbb2994ec9b289b31cf74adb686a19b..ede6ef711876004367e98a2c567d8118a32f621c 100644 (file)
--- a/build/buildbot/config/ravnsgaard.xml
+++ b/build/buildbot/config/ravnsgaard.xml
@@ -26,7 +26,7 @@
         <scheduler>daily_0600</scheduler>
         <steps>
             <checkout/>
-            <configure options="--disable-all-features"/>
+            <configure options="--disable-gui"/>
             <compile-all/>
             <run-tests/>
         </steps>
@@ -38,8 +38,8 @@
         <scheduler>daily_0600</scheduler>
         <steps>
             <checkout/>
-            <configure options="--disable-gui"/>
-            <compile-all/>
+            <configure options="--disable-all-features"/>
+            <compile-all utils="false"/>
             <run-tests/>
         </steps>
     </build>