From 6206cbbf64b9e918d4f9c5f3b3d6f8b3c6a6c115 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Wed, 9 Apr 2014 12:40:21 +0200
Subject: [PATCH] Make sure the current directory is not within the class path
---
project/Build.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/Build.scala b/project/Build.scala
index bd6318a3f..87440e748 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -92,7 +92,7 @@ object Leon extends Build {
fw.write("source "+setupScriptFile.getAbsolutePath()+nl)
// the Java command that uses sbt's local Scala to run the whole contraption.
- fw.write("java -Xmx2G -Xms512M -classpath ${SCALACLASSPATH} -Dscala.home=\"$SCALA_HOME\" -Dscala.usejavacp=true ")
+ fw.write("java -Xmx2G -Xms512M -classpath ${SCALACLASSPATH} -Dscala.home=\"$SCALA_HOME\" -Dscala.usejavacp=false ")
fw.write("scala.tools.nsc.MainGenericRunner -classpath ${SCALACLASSPATH} ")
fw.write(mainClass+" $@ 2>&1 | tee last.log" + nl)
fw.close
--
GitLab