From aee0ec096cd992ceb32fbaea6990fcf2cb41be7b Mon Sep 17 00:00:00 2001
From: spoon <spoon@5e8d7ff9-d8ef-0310-90f0-a4852d11357a>
Date: Wed, 15 Mar 2006 16:57:15 +0000
Subject: [PATCH] In the scalaint script, define scala.boot.class.path .

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@6781 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
---
 build.xml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 9e43a0ff2..68e6e280c 100644
--- a/build.xml
+++ b/build.xml
@@ -631,7 +631,7 @@ BUILD QUICK-TEST LAYER
       version="${version.number}"
       copyright="${copyright}"
       classpath="#SCALA_HOME#/${lib.dir.name}:#SCALA_HOME#/${comp.dir.name}:#SCALA_HOME#/${fjbg.name}"
-      javaFlags="-Xmx256M -Xms16M"
+      properties="scala.boot.class.path=#CLASSPATH#"
     />
     <chmod
       file="${quick.dir}/${exec.dir.name}/${scalaint.exec.name}"
@@ -776,6 +776,7 @@ TEST
       version="${version.number}"
       copyright="${copyright}"
       classpath=""
+      properties="scala.boot.class.path=#CLASSPATH#"
       javaFlags="-Xmx256M -Xms16M"
     />
     <chmod