Remove pointless case insensitivity

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

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index 2179bc2a4ed5ccb68baf029b759eed1fafae574d..d5f3049fca86567f2854a44452e42fcac74b40f9 100644 (file)
--- a/build/buildbot/config/ravnsgaard.xml
+++ b/build/buildbot/config/ravnsgaard.xml
@@ -3,15 +3,17 @@
 <!--
     Name:       ravnsgaard.xml
     RCS-ID:     $Id$
-    Licence:    wxWidgets licence
+    Licence:    wxWindows licence
 -->
 <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>
-        <scheduler>trunk_quick</scheduler>
+        <scheduler>stable_quick</scheduler>
         <steps>
             <checkout branch="{$STABLE_BRANCH}"/>
             <configure options="--enable-stl"/>
@@ -19,4 +21,29 @@
             <run-tests/>
         </steps>
     </build>
+
+    <build>
+        <name>Linux i386 wxGTK trunk no gui</name>
+        <builddir>ravnsgaard_wxgtk_nogui</builddir>
+        <scheduler>daily_0600</scheduler>
+        <steps>
+            <checkout/>
+            <configure options="--disable-gui --enable-debug"/>
+            <compile-all/>
+            <run-tests/>
+        </steps>
+    </build>
+
+    <build>
+        <name>Linux i386 wxGTK trunk no features</name>
+        <builddir>ravnsgaard_wxgtk_nofeatures</builddir>
+        <scheduler>daily_0600</scheduler>
+        <steps>
+            <checkout/>
+            <configure options="--disable-all-features --enable-debug"/>
+            <compile-all utils="false"/>
+            <run-tests/>
+        </steps>
+    </build>
+</disable>
 </bot>