summaryrefslogtreecommitdiff
path: root/boot
diff options
context:
space:
mode:
Diffstat (limited to 'boot')
-rw-r--r--boot2
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