Use more portable shell in ./boot; fixes booting on Solaris

1 files changed, 1 insertions, 1 deletions

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