No real changes, just rename double variables to "d".

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

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index 91752f18fcc418f1bd41aa63efb6d1e536157742..d5f3049fca86567f2854a44452e42fcac74b40f9 100644 (file)
--- 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>