From 7834c94e2d6d37aad229bdee0b8315c0fe974ac5 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 19 Nov 2003 16:28:10 +0000
Subject: - quick fix to bug 218 (scala option on Windoze)

---
 Makefile.distrib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.distrib')

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"; \
-- 
cgit v1.2.3