#!/bin/bash # time # # Douglas Thrift # # $Id$ name=time version=1.7-21 revision=0 categories=(base sysutils) description='Displays info about resources used by a program' url='http://packages.debian.org/testing/utils/time' depends=('base/glibc') sources=(`site_debian`) sourcedir=$name-${version%%-*} function build() { debian_patch || return $? gnu_configure --prefix=/usr --infodir=/usr/share/info || return $? install -dv $package/usr/share/man/man1 || return $? install -v -m 0644 debian/time.1 $package/usr/share/man/man1 }