From d9d5b2004c279466d02f6cb17feed5a6db53ba6f Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
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

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