# HG changeset patch
# User wenzelm
# Date 1230026647 -3600
# Node ID 789cd671636ecefab54893c646cb37f10f628f82
# Parent  89b0803404d7d24514a6605683c4ca1bb6ea5815
updated scala path;

diff -r 89b0803404d7 -r 789cd671636e Admin/build
--- a/Admin/build	Tue Dec 23 00:56:03 2008 +0100
+++ b/Admin/build	Tue Dec 23 11:04:07 2008 +0100
@@ -7,7 +7,7 @@
 #paranoia setting for sunbroy
 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
 
-PATH="/home/scala/scala/bin:$PATH"
+PATH="/home/scala/current/bin:$PATH"
 
 
 ## directory layout