diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2013-01-01 14:13:18 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2013-01-01 14:13:18 -0500 |
| commit | a4a58a90f0596392d131d6cf4f1a72c39930e21c (patch) | |
| tree | aba933eda0a04e8dd82f6575d1953547dd12fa24 /community/splint/PKGBUILD | |
| parent | 0487d1b0b1abcea8bb2ce85e1893260431a8b0b3 (diff) | |
Add chost in builds
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 } |