updated scala path;
authorwenzelm
Tue Dec 23 11:04:07 2008 +0100 (2008-12-23)
changeset 29153789cd671636e
parent 29152 89b0803404d7
child 29154 32b13b953e3a
updated scala path;
Admin/build
     1.1 --- a/Admin/build	Tue Dec 23 00:56:03 2008 +0100
     1.2 +++ b/Admin/build	Tue Dec 23 11:04:07 2008 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  #paranoia setting for sunbroy
     1.5  PATH="/usr/local/dist/DIR/j2sdk1.5.0/bin:$PATH"
     1.6  
     1.7 -PATH="/home/scala/scala/bin:$PATH"
     1.8 +PATH="/home/scala/current/bin:$PATH"
     1.9  
    1.10  
    1.11  ## directory layout