repo/extra/efibootmgr/build

#!/bin/sh -e

patch -p1 < efivar.patch

make \
    EXTRA_CFLAGS=-Os \
    EFIDIR=/boot/EFI

install -Dm0755 src/efibootmgr   "$1/usr/bin/efibootmgr"
install -Dm0644 src/efibootmgr.8 "$1/usr/share/man/man8/efibootmgr.8"
kiss: Add efibootmgr and friends to extra 2019-06-25 23:42:26 -06:00			`#!/bin/sh -e`

			`patch -p1 < efivar.patch`

efibootmgr: clean clean clean 2019-10-08 02:20:08 -06:00			`make \`
			`EXTRA_CFLAGS=-Os \`
			`EFIDIR=/boot/EFI`
kiss: Add efibootmgr and friends to extra 2019-06-25 23:42:26 -06:00
efibootmgr: clean clean clean 2019-10-08 02:20:08 -06:00			`install -Dm0755 src/efibootmgr "$1/usr/bin/efibootmgr"`
kiss: Add efibootmgr and friends to extra 2019-06-25 23:42:26 -06:00			`install -Dm0644 src/efibootmgr.8 "$1/usr/share/man/man8/efibootmgr.8"`