From c762783d95904451a6ef217bd2e04d2d20e0db69 Mon Sep 17 00:00:00 2001
From: beutel <beutel>
Date: Fri, 17 Aug 2007 16:01:18 +0000
Subject: [PATCH] fixed path in make install

---
 tools/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/build.xml b/tools/build.xml
index 92e5608b..9d29ec7a 100644
--- 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" />
-- 
2.39.2