diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-01-27 17:45:56 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-01-27 17:45:56 -0500 |
| commit | d3f483f28fa8b4f11577ce5af087fc3de06aca6e (patch) | |
| tree | 3e236ea8973bec507ab5c05fe21eac3fc64ba9d6 /libre/linux-libre-api-headers | |
| parent | 52551ba27afb95c7c44c5bfe76e91996d328c7ce (diff) | |
linux-libre-api-headers-4.12.7_gnu-1.1: compile for different architectures
Diffstat (limited to 'libre/linux-libre-api-headers')
| -rw-r--r-- | libre/linux-libre-api-headers/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libre/linux-libre-api-headers/PKGBUILD b/libre/linux-libre-api-headers/PKGBUILD index 1b0e0f3ac..9b90b0332 100644 --- a/libre/linux-libre-api-headers/PKGBUILD +++ b/libre/linux-libre-api-headers/PKGBUILD @@ -13,9 +13,9 @@ _pkgver=4.12.7-gnu _srcname=linux-${_pkgbasever%-*} _archpkgver=${_pkgver%-*} pkgver=${_pkgver//-/_} -pkgrel=1 +pkgrel=1.1 pkgdesc='Kernel headers sanitized for use in userspace' -arch=(any) +arch=('i686' 'x86_64' 'armv7h') url='https://www.gnu.org/software/libc' license=(GPL2) provides=("linux-api-headers=${_archpkgver}") |