diff options
Diffstat (limited to 'community/splint/PKGBUILD')
| -rw-r--r-- | community/splint/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/community/splint/PKGBUILD b/community/splint/PKGBUILD index bc31421a9..acade57ec 100644 --- a/community/splint/PKGBUILD +++ b/community/splint/PKGBUILD @@ -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 } |