Fix Trac #3219: type of a record update

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index 0cdee98..3cb9f6a 100644 (file)
--- a/boot
+++ b/boot
@@ -56,8 +56,9 @@ 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 "${f}_dist-install_GROUP = libraries" >> $f/ghc.mk
        echo "\$(eval \$(call build-package,${f},dist-install,${stage}))" >> $f/ghc.mk
        rm -f $f/GNUmakefile
        echo "Creating $f/GNUmakefile"