From 321c9c424005df4e2b5935b33a5d0beb97cb6233 Mon Sep 17 00:00:00 2001 From: michelou Date: Fri, 14 Oct 2005 21:35:11 +0000 Subject: - corrected error in generation of batch comman... - corrected error in generation of batch commands (Win). --- Makefile.distrib | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.distrib') 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"; \ -- cgit v1.2.3