diff options
| author | Erich Eckner <git@eckner.net> | 2020-05-26 21:32:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-05-26 21:32:59 +0200 |
| commit | d9d5b2004c279466d02f6cb17feed5a6db53ba6f (patch) | |
| tree | e07558c57f5966d5539378f93d9b1b5b23291697 /extra | |
| parent | 0818733181cc56ff0db4260270cfcc3469dd137b (diff) | |
| download | packages-d9d5b2004c279466d02f6cb17feed5a6db53ba6f.tar.xz | |
extra/gnu-efi-libs: removed
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 - ' -)" |