diff options
Diffstat (limited to 'Makefile.distrib')
-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"; \ |