Remove pointless case insensitivity

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

<?xml version="1.0" encoding="utf-8"?>

<!--
    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>
        <scheduler>stable_quick</scheduler>
        <steps>
            <checkout branch="{$STABLE_BRANCH}"/>
            <configure options="--enable-stl"/>
            <compile-all utils="false"/>
            <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>