diff options
| author | michelou <michelou@epfl.ch> | 2005-10-14 21:35:11 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-10-14 21:35:11 +0000 |
| commit | 321c9c424005df4e2b5935b33a5d0beb97cb6233 (patch) | |
| tree | 033a070459d00c48f42993499fb69abb9379d908 | |
| parent | a37e1b6309069403999bdbc3dd0ec72a23c95a90 (diff) | |
| download | scala-321c9c424005df4e2b5935b33a5d0beb97cb6233.tar.gz scala-321c9c424005df4e2b5935b33a5d0beb97cb6233.tar.bz2 scala-321c9c424005df4e2b5935b33a5d0beb97cb6233.zip | |
- corrected error in generation of batch comman...
- corrected error in generation of batch commands (Win).
| -rw-r--r-- | Makefile.distrib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 7a53c03b8d..15decbd417 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -240,7 +240,7 @@ install-windows : install nixexec=`SCALA_JAVA_CMD="echo java" SCALA_CLASSPATH=\"%CLASSPATH%\" $$nixfile`; \ winexec="$$nixexec"; \ winexec=`echo "$$winexec" | sed -es"#$$root#\"%SCALA_HOME%\"#g"`; \ - winexec=`echo "$$winexec" | sed -es"#/share/$(INSTALL_PACKAGE)##g"`; \ + winexec=`echo "$$winexec" | sed -es"#/share/$(INSTALL_NAME)##g"`; \ winexec=`echo "$$winexec" | tr '/' '\\\\' | tr ':' ';'`; \ winexec=`echo "$$winexec" | sed -es"#Xbootclasspath.a;#Xbootclasspath/a:#g"`; \ $(RM) -f "$$winfile"; \ |