Corrected border drawing to avoid clipping

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

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index 17bfcd65fa8003af2c0e51234df973139258964f..687cce00fd9a4f5aad978b8983a2961abe910e57 100644 (file)
--- a/build/buildbot/config/ravnsgaard.xml
+++ b/build/buildbot/config/ravnsgaard.xml
@@ -2,12 +2,13 @@
 
 <!--
     Name:       ravnsgaard.xml
-    RCS-ID:     $Id$
     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>
@@ -43,4 +44,5 @@
             <run-tests/>
         </steps>
     </build>
+</disable>
 </bot>