diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-22 17:58:15 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-22 17:58:15 -0500 |
| commit | e71f51acd0bbce12de5a1748756052193913747b (patch) | |
| tree | e6ae1cb2ac1476b9a5ec3774cfaedeb160765321 /libre/linux-libre-api-headers | |
| parent | 1a23deef5d9f0a429670a7563fc1c16bf827d80b (diff) | |
linux-libre-api-headers: Add armv7h in arch
Diffstat (limited to 'libre/linux-libre-api-headers')
| -rw-r--r-- | libre/linux-libre-api-headers/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libre/linux-libre-api-headers/PKGBUILD b/libre/linux-libre-api-headers/PKGBUILD index f9dc1f0d2..54ab541aa 100644 --- a/libre/linux-libre-api-headers/PKGBUILD +++ b/libre/linux-libre-api-headers/PKGBUILD @@ -14,7 +14,7 @@ _archpkgver=${_pkgver%-*} pkgver=${_pkgver//-/_} pkgrel=1 pkgdesc="Kernel headers sanitized for use in userspace" -arch=('i686' 'x86_64') +arch=('i686' 'x86_64' 'armv7h') url="http://www.gnu.org/software/libc" license=('GPL2') provides=("linux-api-headers=${_archpkgver}") |