added change to build.xml for selection of the new toolchain

diff --git a/tools/build.xml b/tools/build.xml
index 9d29ec7aeed2a6a9361bd0bb2a5dd6d916bf0ec6..31d577511438f41cf1adc47c49ff21dab14e1d2a 100644 (file)
--- a/tools/build.xml
+++ b/tools/build.xml
@@ -17,7 +17,7 @@
                <exec executable="./Bootstrap" failonerror="true">
                </exec>
                <exec executable="./configure" failonerror="true">
-                       <arg line="--prefix=/scratch/tos2/usr --quiet" />
+                       <arg line="--prefix=/scratch/tos2_trial --quiet" />
                        </exec>
                <exec executable="make" failonerror="true">
                        <arg line="install" />