summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-12-22 01:47:16 +0000
committermichelou <michelou@epfl.ch>2005-12-22 01:47:16 +0000
commite50dcb9e2aaffbb5e6db5b400765d4bca32c6a81 (patch)
tree689f24540d698e57f48ea1a560bf7d684e864ece
parent518f51eb7937046657b7bab3fb2555be3bbfb9c2 (diff)
downloadscala-e50dcb9e2aaffbb5e6db5b400765d4bca32c6a81.tar.gz
scala-e50dcb9e2aaffbb5e6db5b400765d4bca32c6a81.tar.bz2
scala-e50dcb9e2aaffbb5e6db5b400765d4bca32c6a81.zip
- corrected Java properties
-rw-r--r--src/exec/scala-tool.unix.tmpl3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/exec/scala-tool.unix.tmpl b/src/exec/scala-tool.unix.tmpl
index 5e5e2bb74d..5d3a64086b 100644
--- a/src/exec/scala-tool.unix.tmpl
+++ b/src/exec/scala-tool.unix.tmpl
@@ -49,7 +49,8 @@ fi
$JAVA \
-Xms16M -Xmx256M \
- -Dscala.version="20051219-1541" \
+ -Dscala.version="@version@" \
+ -Dscala.copyright="@copyright@" \
-Dscala.home="$PREFIX" \
-Dscala.boot.class.path="$TOOL_CLASSPATH" \
-cp "$JAVA_CLASSPATH" \