*** empty log message ***

diff --git a/tools/build.xml b/tools/build.xml
index 6c2b204ac1413e033164c4223b5add309294a554..ee5ca246880ee977d8cc206695a6b59b7856156e 100644 (file)
--- a/tools/build.xml
+++ b/tools/build.xml
@@ -11,4 +11,16 @@
                </exec>
        </target>
 
+       <target name="install_cruisecontrol" >
+               <echo message = "Building ${project.name}" />
+               <exec executable="./Bootstrap" failonerror="true">
+               </exec>
+               <exec executable="./configure" failonerror="true">
+                       <arg line="--prefix=/scratch/tos2/usr" />
+                       </exec>
+               <exec executable="make" failonerror="true">
+                       <arg line="install" />
+               </exec>
+       </target>
+
 </project>