From f986a83107850e6031a0635d49fe99d8a3e9085e Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 8 May 2009 23:02:36 +0000 Subject: [PATCH] Tweak ./boot --- boot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/boot b/boot index 0cdee98..9c5f1c5 100644 --- a/boot +++ b/boot @@ -56,7 +56,7 @@ for f in $libraries; do 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 -- 1.7.10.4