From d9d5b2004c279466d02f6cb17feed5a6db53ba6f Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 26 May 2020 21:32:59 +0200 Subject: extra/gnu-efi-libs: removed --- extra/gnu-efi-libs/PKGBUILD | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 extra/gnu-efi-libs/PKGBUILD (limited to 'extra') 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 - ' -)" -- cgit v1.2.3-70-g09d2