#!/bin/sh -e
make CC="${CC:-cc}" EFIDIR=/boot/EFI efibootmgr
install -Dm0755 src/efibootmgr "$1/usr/bin/efibootmgr"
install -Dm0644 src/efibootmgr.8 "$1/usr/share/man/man8/efibootmgr.8"
