wok-next diff grub/receipt @ rev 1725
Add mirror-tools
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Wed Nov 19 10:32:58 2008 +0000 (2008-11-19) |
parents | cf22fee17710 |
children | dbf873bf74a8 |
line diff
1.1 --- a/grub/receipt Wed Feb 13 15:26:29 2008 +0100 1.2 +++ b/grub/receipt Wed Nov 19 10:32:58 2008 +0000 1.3 @@ -8,14 +8,15 @@ 1.4 TARBALL="$PACKAGE-$VERSION.tar.gz" 1.5 WEB_SITE="http://www.gnu.org/software/grub/" 1.6 WGET_URL="ftp://alpha.gnu.org/gnu/grub/$TARBALL" 1.7 +CONFIG_FILES="/boot/grub" 1.8 1.9 # Rules to configure and make the package. 1.10 compile_rules() 1.11 { 1.12 cd $src 1.13 ./configure --prefix=/usr --infodir=/usr/share/info \ 1.14 - --mandir=/usr/share/man $CONFIGURE_ARGS 1.15 - make 1.16 + --mandir=/usr/share/man $CONFIGURE_ARGS && 1.17 + make && 1.18 make DESTDIR=$PWD/_pkg install 1.19 } 1.20