repo/core/efibootmgr/build
2019-06-25 20:58:29 +03:00

10 lines
263 B
Bash
Executable File

#!/bin/sh -e
make EXTRA_CFLAGS=-Os EFIDIR=/boot/EFI
install -d "$1/usr/bin/"
install -Dm0755 efibootmgr/src/efibootmgr "$1/usr/bin/efibootmgr"
install -d "$1/usr/share/man/man8/"
install -Dm0644 efibootmgr/src/efibootmgr.8 "$1/usr/share/man/man8/efibootmgr.8"