diff options
Diffstat (limited to 'time')
| -rw-r--r-- | time/Pkgfile | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/time/Pkgfile b/time/Pkgfile index 70d7046..041d30e 100644 --- a/time/Pkgfile +++ b/time/Pkgfile @@ -10,11 +10,14 @@ release=1 source=(http://ftp.gnu.org/gnu/time/$name-$version.tar.gz time.1) build () { - cd $name-$version; - ./configure --prefix=$prefix; - make; - make prefix=$PKG$prefix install; - #rm -rf $PKG/usr/info; - mkdir -p $PKG$mandir/man1; - cp ../$name.1 $PKG$mandir/man1 + cd $name-$version; + ./configure \ + ${CHOST:+--host=$CHOST} \ + ${CBUILD:+--build=$CBUILD} \ + --prefix=$prefix; + make; + make prefix=$PKG$prefix install; + #rm -rf $PKG/usr/info; + mkdir -p $PKG$mandir/man1; + cp ../$name.1 $PKG$mandir/man1 } |