diff options
Diffstat (limited to 'extra/gnu-efi-libs/PKGBUILD')
| -rw-r--r-- | extra/gnu-efi-libs/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/gnu-efi-libs/PKGBUILD b/extra/gnu-efi-libs/PKGBUILD index 64e52346a..28de86fd1 100644 --- a/extra/gnu-efi-libs/PKGBUILD +++ b/extra/gnu-efi-libs/PKGBUILD @@ -5,12 +5,12 @@ _pkgver="3.0" pkgname="gnu-efi-libs" pkgver="${_pkgver}u" -pkgrel="3" +pkgrel="4" pkgdesc="Library for building UEFI Applications using GNU toolchain" url="http://sourceforge.net/projects/gnu-efi/" license=('GPL') arch=('x86_64' 'i686') -options=('!strip' '!makeflags') +options=('!strip' '!makeflags' 'staticlibs') makedepends=('pciutils') source=("http://download.sourceforge.net/gnu-efi/gnu-efi_${pkgver}.orig.tar.gz") |