diff options
author | michelou <michelou@epfl.ch> | 2003-11-19 16:28:10 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-11-19 16:28:10 +0000 |
commit | 7834c94e2d6d37aad229bdee0b8315c0fe974ac5 (patch) | |
tree | 54f291cc66a120526981b4f5fd81ce94a4733ee5 | |
parent | e641ecb4dd23ad10660152c8fe74cd0c85f84b94 (diff) | |
download | scala-7834c94e2d6d37aad229bdee0b8315c0fe974ac5.tar.gz scala-7834c94e2d6d37aad229bdee0b8315c0fe974ac5.tar.bz2 scala-7834c94e2d6d37aad229bdee0b8315c0fe974ac5.zip |
- quick fix to bug 218 (scala option on Windoze)
-rw-r--r-- | Makefile.distrib | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 2265a819e4..7245e49771 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -143,6 +143,7 @@ install-windows : install winexec="$$nixexec"; \ winexec=`echo "$$winexec" | sed -es"#$$root#%SCALA_HOME%#g"`; \ winexec=`echo "$$winexec" | tr '/' '\\\\' | tr ':' ';'`; \ + winexec=`echo "$$winexec" | sed -es"#Xbootclasspath.a;#Xbootclasspath/a:#g"`; \ $(RM) -f "$$winfile"; \ ( \ $(CAT) "$$srcfile-header.bat"; \ |