<!--
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"/>
<scheduler>daily_0600</scheduler>
<steps>
<checkout/>
- <configure options="--disable-all-features"/>
+ <configure options="--disable-gui --enable-debug"/>
<compile-all/>
<run-tests/>
</steps>
<scheduler>daily_0600</scheduler>
<steps>
<checkout/>
- <configure options="--disable-gui"/>
- <compile-all/>
+ <configure options="--disable-all-features --enable-debug"/>
+ <compile-all utils="false"/>
<run-tests/>
</steps>
</build>
+</disable>
</bot>