diff options
Diffstat (limited to 'extra')
| -rw-r--r-- | extra/gnu-efi-libs/PKGBUILD | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/extra/gnu-efi-libs/PKGBUILD b/extra/gnu-efi-libs/PKGBUILD deleted file mode 100644 index 6f8e5c99..00000000 --- a/extra/gnu-efi-libs/PKGBUILD +++ /dev/null @@ -1,13 +0,0 @@ -# This is a desperate measure to work around non-building demo EFI apps -# See https://sourceforge.net/p/gnu-efi/support-requests/6/ - -eval "$( - declare -f build | \ - sed ' - s|make lib gnuefi inc apps|make lib gnuefi inc| - ' - declare -f package | \ - sed ' - s|^[ \t]*install|#install|g - ' -)" |