diff options
-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"; \ |