From 6a0424c5df63b6f84c29b1dbf6412ffaf5279a54 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Wed, 6 May 2009 01:04:45 +0000 Subject: Use more portable shell in ./boot; fixes booting on Solaris --- boot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'boot') diff --git a/boot b/boot index 2c2d88beb5..0cdee985f6 100644 --- a/boot +++ b/boot @@ -50,7 +50,7 @@ for f in $libraries; do if test -f $cabals; then echo "Creating $f/ghc.mk" rm -f $f/ghc.mk - pkg=`basename ${cabals%.cabal}` + pkg=`echo "$cabals" | sed -e 's#.*/##' -e 's#\.cabal$##'` if test -f $f/ghc-stage; then stage=`cat $f/ghc-stage` else -- cgit v1.2.1