X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/7b8e38beef804733a5305c7709f360a284d31664..2026acc1e228e2d0e23244796bce9aa16f7a4599:/build/buildbot/config/ravnsgaard.xml

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index 91752f18fc..d5f3049fca 100644
--- a/build/buildbot/config/ravnsgaard.xml
+++ b/build/buildbot/config/ravnsgaard.xml
@@ -8,6 +8,8 @@
 <bot xmlns:xi="http://www.w3.org/2001/XInclude">
     <xi:include href="include/unix.xml"/>
 
+<!-- Moved to brandt32 while ranvsgaard is down -->
+<disable>
     <build>
         <name>Linux i386 wxGTK stable STL</name>
         <builddir>ravnsgaard_wxgtk_stable</builddir>
@@ -26,7 +28,7 @@
         <scheduler>daily_0600</scheduler>
         <steps>
             <checkout/>
-            <configure options="--disable-gui"/>
+            <configure options="--disable-gui --enable-debug"/>
             <compile-all/>
             <run-tests/>
         </steps>
@@ -38,9 +40,10 @@
         <scheduler>daily_0600</scheduler>
         <steps>
             <checkout/>
-            <configure options="--disable-all-features"/>
+            <configure options="--disable-all-features --enable-debug"/>
             <compile-all utils="false"/>
             <run-tests/>
         </steps>
     </build>
+</disable>
 </bot>