1 <?xml version=
"1.0" encoding=
"utf-8"?>
6 Licence: wxWidgets licence
8 <bot xmlns:
xi=
"http://www.w3.org/2001/XInclude">
9 <xi:include href=
"include/ravnsgaard.xml"/>
11 <name>Linux i386 wxGTK trunk STL debug
</name>
12 <builddir>ravnsgaard_wxgtk_debug
</builddir>
13 <scheduler>daily_0600
</scheduler>
16 <configure options=
"--with-gtk --enable-debug --enable-stl --enable-std_iostreams --enable-std_string --disable-compat28"/>
23 <name>Linux i386 wxGTK trunk STL release
</name>
24 <builddir>ravnsgaard_wxgtk_release
</builddir>
25 <scheduler>daily_1800
</scheduler>
28 <configure options=
"--with-gtk --disable-debug --enable-stl --enable-std_iostreams --enable-std_string --disable-compat28"/>