From 03b2e54e37b29ba1e31b1ce9faaf8a7a90ad5afd Mon Sep 17 00:00:00 2001
From: beutel <beutel>
Date: Tue, 8 Jul 2008 12:09:45 +0000
Subject: [PATCH] added change to build.xml for selection of the new toolchain

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

diff --git a/tools/build.xml b/tools/build.xml
index 9d29ec7a..31d57751 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=/scratch/tos2/usr --quiet" />
+			<arg line="--prefix=/scratch/tos2_trial --quiet" />
 			</exec>
 		<exec executable="make" failonerror="true">
 			<arg line="install" />
-- 
2.39.2