fixed path in make install

diff --git a/tools/build.xml b/tools/build.xml
index 92e5608b8db14ef11150a97131eace220b13bfb8..9d29ec7aeed2a6a9361bd0bb2a5dd6d916bf0ec6 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=$TOSTOOLS_PREFIX --quiet" />
+                       <arg line="--prefix=/scratch/tos2/usr --quiet" />
                        </exec>
                <exec executable="make" failonerror="true">
                        <arg line="install" />