# HG changeset patch
# User wenzelm
# Date 1216393788 -7200
# Node ID 7a4baad0549507b71e28c010b95b65abeea8c154
# Parent  cb26fe3ea037a969d42f80221a2bfa067bd4ae4a
fixed Scala path;

diff -r cb26fe3ea037 -r 7a4baad05495 Admin/build
--- a/Admin/build	Thu Jul 17 21:24:26 2008 +0200
+++ b/Admin/build	Fri Jul 18 17:09:48 2008 +0200
@@ -9,7 +9,7 @@
 #paranoia setting for sunbroy
 PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
 
-PATH="/home/scala/bin:$PATH"
+PATH="/home/scala/scala/bin:$PATH"
 
 
 ## directory layout