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
-    '
-)"