diff options
Diffstat (limited to 'base/grub2/Pkgfile')
| -rwxr-xr-x | base/grub2/Pkgfile | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/base/grub2/Pkgfile b/base/grub2/Pkgfile index 22fbf7a16..361ace17b 100755 --- a/base/grub2/Pkgfile +++ b/base/grub2/Pkgfile @@ -5,8 +5,8 @@ # Depends on: name=grub2 -version=1.97 -release=4 +version=1.97.1 +release=1 source=(ftp://alpha.gnu.org/gnu/grub/grub-$version.tar.gz\ grub.cfg) build() { @@ -15,15 +15,16 @@ build() { unset CFLAGS ./configure --prefix=/usr \ --mandir=/usr/share/man \ - --infodir=/usr/share/info + --sysconfdir=/etc \ + --disable-grub-emu \ + --disable-grub-emu-usb \ + --disable-grub-fstest \ + --disable-efiemu \ + --infodir=/usr/share/info make make DESTDIR=$PKG install install -d $PKG/boot/grub install -d $PKG/usr/share - # cp -v ../message $PKG/boot/ -# cp -v $PKG/usr/lib/grub/i386-pc/stage{1,2} $PKG/boot/grub -# cp -v $PKG/usr/lib/grub/i386-pc/e2fs_stage1_5 $PKG/boot/grub -# cp -v $PKG/usr/lib/grub/i386-pc/reiserfs_stage1_5 $PKG/boot/grub if [ -f $PKG/usr/share/info/dir ]; then rm $PKG/usr/share/info/dir fi |