2011-06-24 20:53:40 +02:00
|
|
|
# Template file for 'time'
|
|
|
|
|
pkgname=time
|
|
|
|
|
version=1.7
|
2013-04-14 15:09:59 +02:00
|
|
|
revision=2
|
|
|
|
|
build_style=gnu-configure
|
2011-06-24 20:53:40 +02:00
|
|
|
short_desc="The GNU time program for measuring cpu resource usage"
|
2011-07-17 08:27:36 +02:00
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2011-06-24 20:53:40 +02:00
|
|
|
homepage="http://directory.fsf.org/project/time"
|
|
|
|
|
license="GPL-2"
|
2013-04-14 15:09:59 +02:00
|
|
|
distfiles="$GNU_SITE/$pkgname/$pkgname-$version.tar.gz"
|
2011-06-24 20:53:40 +02:00
|
|
|
checksum=e37ea79a253bf85a85ada2f7c632c14e481a5fd262a362f6f4fd58e68601496d
|
|
|
|
|
long_desc="
|
2013-04-14 15:09:59 +02:00
|
|
|
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. You can select which information is reported and the format in
|
|
|
|
|
which it is shown, or have time save the information in a file instead of
|
|
|
|
|
display it on the screen."
|
2011-06-24 20:53:40 +02:00
|
|
|
|
2013-04-14 15:09:59 +02:00
|
|
|
do_install() {
|
|
|
|
|
make exec_prefix="${DESTDIR}/usr" infodir="${DESTDIR}/usr/share/info" install
|
2011-06-24 20:53:40 +02:00
|
|
|
}
|
