From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Fri, 17 May 2002 09:43:47 +0000 (+0000)
Subject: Filter collapsed directory
X-Git-Tag: release/1.5.57~13
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=06b944313b3468a70b9a4b1b3fe678b912ed408b;p=lilypond.git

Filter collapsed directory
constructs '//' from arguments.
---

diff --git a/ChangeLog b/ChangeLog
index e2244a7a58..491af502b4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2002-05-17  Jan Nieuwenhuizen  <janneke@gnu.org>
+
+	* stepmake/bin/install-dot-exe.sh: Filter collapsed directory
+	constructs '//' from arguments.
+
 2002-05-17  Han-Wen  <hanwen@cs.uu.nl>
 
 	* scm/music-functions.scm (check-start-chords): function to check
diff --git a/stepmake/bin/install-dot-exe.sh b/stepmake/bin/install-dot-exe.sh
index c4128c5ed8..1881b2de8b 100755
--- a/stepmake/bin/install-dot-exe.sh
+++ b/stepmake/bin/install-dot-exe.sh
@@ -1,20 +1,21 @@
 #!/bin/sh
 # install-dot-exe.sh  -- add .exe for cygnus gnu-windows
-# hack for doos install; cygnus should support rpm
+# hack for doos install
 
 realinstall=install
 
 args=''
 while [ $# -ne 0 ] 
 do
+    x=`echo $1 | sed 's@//@/@g'`
     case $1 in
-	-*) args="$args $1"
+	-*) args="$args $x"
 	    ;;
 
 	 *) if [ -f $1.exe ]; then
-		args="$args $1.exe"
+		args="$args $x.exe"
 	    else
-		args="$args $1"
+		args="$args $x"
 	    fi
 	    ;;
     esac