diff --git a/build/buildbot/config/include/ravnsgaard.xml b/build/buildbot/config/include/ravnsgaard.xml new file mode 100644 index 0000000000..13ad4f2381 --- /dev/null +++ b/build/buildbot/config/include/ravnsgaard.xml @@ -0,0 +1,92 @@ + + + + + + + + + + + + + slave + + + + + + + + + + + + + + + + + + + + ../ + + + + + creating build directory + create build directory + . + + rm -rf build && + mkdir build && + ln -sf ../ src + + + + + + + + + + + ../src/configure --disable-precomp-headers + + find . -name Makefile | xargs perl -pi -e 's/^(?:CC|CXX) = /$&ccache /' + + + + diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml index f846330550..a7eced13ab 100644 --- a/build/buildbot/config/ravnsgaard.xml +++ b/build/buildbot/config/ravnsgaard.xml @@ -6,7 +6,7 @@ Licence: wxWidgets licence --> - + Linux i386 wxGTK trunk STL debug ravnsgaard_wxgtk_debug