Tweak ./boot

diff --git a/boot b/boot
index 0cdee98..9c5f1c5 100644 (file)
--- a/boot
+++ b/boot
@@ -56,7 +56,7 @@ for f in $libraries; do
        else
            stage=1
        fi
        else
            stage=1
        fi

-       top=`echo $f | sed "s/[^/]*/../g"`
+       top=`echo $f | sed 's#[^/]\+#..#g'`

        echo "${f}_PACKAGE = ${pkg}" >> $f/ghc.mk
        echo "\$(eval \$(call build-package,${f},dist-install,${stage}))" >> $f/ghc.mk
        rm -f $f/GNUmakefile
        echo "${f}_PACKAGE = ${pkg}" >> $f/ghc.mk
        echo "\$(eval \$(call build-package,${f},dist-install,${stage}))" >> $f/ghc.mk
        rm -f $f/GNUmakefile