grub: make this build again.

This commit is contained in:
Juan RP 2013-05-26 10:54:20 +02:00
parent 52b6dc8b8b
commit f3a560cce1

View file

@ -35,19 +35,19 @@ do_configure() {
do_build() {
msg_normal "Building BIOS grub...\n"
cd $wrksrc/bios_build
make ${makejobs}
make CPP= ${makejobs}
if [ "$XBPS_TARGET_MACHINE" = "x86_64" ]; then
msg_normal "Building EFI grub...\n"
cd $wrksrc/efi_build
make ${makejobs}
make CPP= ${makejobs}
fi
}
do_install() {
if [ "$XBPS_TARGET_MACHINE" = "x86_64" ]; then
cd $wrksrc/efi_build
make DESTDIR=$DESTDIR/efi install
make CPP= DESTDIR=$DESTDIR/efi install
# Remove non-platform specific files
rm -rf ${DESTDIR}/efi/{boot,etc,usr/{share,bin,sbin}}
rm -f ${DESTDIR}/efi/usr/lib/grub/x86_64-efi/x86_64-*
@ -56,7 +56,7 @@ do_install() {
rmdir ${DESTDIR}/efi
fi
cd $wrksrc/bios_build
make DESTDIR=$DESTDIR install
make CPP= DESTDIR=$DESTDIR install
# Required to compress info files.
vmkdir usr/share/info