diff options
Diffstat (limited to 'extra/grub')
-rwxr-xr-x | extra/grub/Pkgfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/grub/Pkgfile b/extra/grub/Pkgfile index 6dcae1129..c3bee1363 100755 --- a/extra/grub/Pkgfile +++ b/extra/grub/Pkgfile @@ -13,7 +13,6 @@ source=(ftp://alpha.gnu.org/gnu/grub/grub-$version.tar.gz\ build() { cd grub-$version unset CXXFLAGS - unset CFLAGS ./configure --prefix=/usr \ --mandir=/usr/share/man \ --sysconfdir=/etc \ @@ -21,7 +20,8 @@ build() { --disable-grub-emu-usb \ --disable-grub-fstest \ --disable-efiemu \ - --infodir=/usr/share/info + --infodir=/usr/share/info \ + --disable-werror make make DESTDIR=$PKG install install -d $PKG/boot/grub |