small reorganization; no real change

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

diff --git a/build/buildbot/config/ravnsgaard.xml b/build/buildbot/config/ravnsgaard.xml
index 92495adc18485d239756b5dfda3358dc14368a96..78d7c38db29098f6148ab73c0ece0d0ee62bbba8 100644 (file)
--- a/build/buildbot/config/ravnsgaard.xml
+++ b/build/buildbot/config/ravnsgaard.xml
@@ -39,7 +39,7 @@
         <steps>
             <checkout branch="{$STABLE_BRANCH}"/>
             <configure options="--with-gtk --enable-debug --enable-stl --enable-std_iostreams --enable-std_string --disable-compat24"/>
-            <compile-all/>
+            <compile-all utils="false"/>
             <run-tests/>
         </steps>
     </build>
@@ -51,7 +51,7 @@
         <steps>
             <checkout branch="{$STABLE_BRANCH}"/>
             <configure options="--with-gtk --disable-debug --enable-stl --enable-std_iostreams --enable-std_string --disable-compat24"/>
-            <compile-all/>
+            <compile-all utils="false"/>
             <run-tests/>
         </steps>
     </build>