diff options
Diffstat (limited to 'community/splint')
| -rw-r--r-- | community/splint/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD index f6559ab07..acade57ec 100644 --- a/community/splint/PKGBUILD +++ b/community/splint/PKGBUILD @@ -6,7 +6,7 @@ pkgname=splint pkgver=3.1.2 pkgrel=3 pkgdesc="A tool for statically checking C programs for security vulnerabilities and coding mistakes" -arch=('i686' 'x86_64') +arch=('i686' 'x86_64' 'mips64el') url="http://www.splint.org/" license=('GPL') depends=('glibc') @@ -18,7 +18,7 @@ options=('!makeflags') build() { cd "${srcdir}"/$pkgname-$pkgver - ./configure --prefix=/usr --mandir=/usr/share/man + ./configure --prefix=/usr --mandir=/usr/share/man --build=$CHOST make } |