From 6a0424c5df63b6f84c29b1dbf6412ffaf5279a54 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Wed, 6 May 2009 01:04:45 +0000
Subject: [PATCH] Use more portable shell in ./boot; fixes booting on Solaris

---
 boot |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot b/boot
index 2c2d88b..0cdee98 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
-- 
1.7.10.4