Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-26 21:32:59 +0200
committerErich Eckner <git@eckner.net>2020-05-26 21:32:59 +0200
commitd9d5b2004c279466d02f6cb17feed5a6db53ba6f (patch)
treee07558c57f5966d5539378f93d9b1b5b23291697 /extra
parent0818733181cc56ff0db4260270cfcc3469dd137b (diff)
extra/gnu-efi-libs: removed
Diffstat (limited to 'extra')
-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
- '
-)"