2019-06-25 17:58:29 +00:00
|
|
|
#!/bin/sh -e
|
|
|
|
|
|
2019-06-25 18:02:54 +00:00
|
|
|
patch -p1 < efivar.patch
|
|
|
|
|
|
2019-06-25 17:58:29 +00:00
|
|
|
make EXTRA_CFLAGS=-Os EFIDIR=/boot/EFI
|
|
|
|
|
|
|
|
|
|
install -d "$1/usr/bin/"
|
2019-06-25 18:08:33 +00:00
|
|
|
install -Dm0755 src/efibootmgr "$1/usr/bin/efibootmgr"
|
2019-06-25 17:58:29 +00:00
|
|
|
|
|
|
|
|
install -d "$1/usr/share/man/man8/"
|
2019-06-25 18:08:33 +00:00
|
|
|
install -Dm0644 src/efibootmgr.8 "$1/usr/share/man/man8/efibootmgr.8"
|
