Date: Friday, February 11, 2011 @ 20:52:03 Author: stephane Revision: 109719
upgpkg: time 1.7-3 fix URL, remove /bin/gnutime link Modified: time/trunk/PKGBUILD ----------+ PKGBUILD | 23 +++++++++++------------ 1 file changed, 11 insertions(+), 12 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2011-02-11 23:47:29 UTC (rev 109718) +++ PKGBUILD 2011-02-12 01:52:03 UTC (rev 109719) @@ -1,13 +1,14 @@ # $Id$ +# Maintainer: Stéphane Gaudreault <[email protected]> +# Contributor: Daniel J Griffiths <[email protected]> # Contributor: damir <[email protected]> -# Maintainer: Daniel J Griffiths <[email protected]> pkgname=time pkgver=1.7 -pkgrel=2 -pkgdesc="The 'time' command runs another program, then displays information about the resources used by that program, collected by the system while the program was running." +pkgrel=3 +pkgdesc="Utility for monitoring a program's use of system resources" arch=('i686' 'x86_64') -url="http://www.gnu.org/software/time/time.html"; +url="http://www.gnu.org/directory/time.html"; license=('GPL') depends=('glibc' 'texinfo') install=time.install @@ -15,17 +16,15 @@ md5sums=('e38d2b8b34b1ca259cf7b053caac32b3') build() { - cd ${srcdir}/${pkgname}-${pkgver} + cd "${srcdir}/${pkgname}-${pkgver}" - ./configure --prefix=/usr --infodir=/usr/share/info || return 1 - make || return 1 + ./configure --prefix=/usr --infodir=/usr/share/info + make } package() { - cd ${srcdir}/${pkgname}-${pkgver} + cd "${srcdir}/${pkgname}-${pkgver}" - make exec_prefix=${pkgdir}/usr infodir=${pkgdir}/usr/share/info install || return 1 - gzip ${pkgdir}/usr/share/info/time.info - ln -sf /usr/bin/time ${pkgdir}/usr/bin/gnutime || return 1 - ln -sf time.info.gz ${pkgdir}/usr/share/info/gnutime.info.gz + make exec_prefix="${pkgdir}/usr" infodir="${pkgdir}/usr/share/info" install + gzip "${pkgdir}/usr/share/info/time.info" }
