# HG changeset patch # User Pascal Bellard # Date 1224794008 0 # Node ID eea0bde9b32e171d37246a62349f68efe382fa4d # Parent a42e1101de3e69d18b3b4a67a09f1b62e468f8ab grub: add CONFIG_FILES diff -r a42e1101de3e -r eea0bde9b32e grub/receipt --- a/grub/receipt Thu Oct 23 20:32:09 2008 +0000 +++ b/grub/receipt Thu Oct 23 20:33:28 2008 +0000 @@ -8,14 +8,15 @@ TARBALL="$PACKAGE-$VERSION.tar.gz" WEB_SITE="http://www.gnu.org/software/grub/" WGET_URL="ftp://alpha.gnu.org/gnu/grub/$TARBALL" +CONFIG_FILES="/boot/grub" # Rules to configure and make the package. compile_rules() { cd $src ./configure --prefix=/usr --infodir=/usr/share/info \ - --mandir=/usr/share/man $CONFIGURE_ARGS - make + --mandir=/usr/share/man $CONFIGURE_ARGS && + make && make DESTDIR=$PWD/_pkg install }