summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--extra/gnu-efi-libs/PKGBUILD13
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
- '
-)"