time: actually include the binary.
This commit is contained in:
parent
73786642e6
commit
98943edd0b
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'time'
|
# Template file for 'time'
|
||||||
pkgname=time
|
pkgname=time
|
||||||
version=1.7
|
version=1.7
|
||||||
revision=4
|
revision=5
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
short_desc="The GNU time program for measuring cpu resource usage"
|
short_desc="The GNU time program for measuring cpu resource usage"
|
||||||
maintainer="Juan RP <xtraeme@voidlinux.eu>"
|
maintainer="Juan RP <xtraeme@voidlinux.eu>"
|
||||||
|
@ -11,5 +11,5 @@ distfiles="$GNU_SITE/$pkgname/$pkgname-$version.tar.gz"
|
||||||
checksum=e37ea79a253bf85a85ada2f7c632c14e481a5fd262a362f6f4fd58e68601496d
|
checksum=e37ea79a253bf85a85ada2f7c632c14e481a5fd262a362f6f4fd58e68601496d
|
||||||
|
|
||||||
do_install() {
|
do_install() {
|
||||||
make exec_prefix="${DESTDIR}/usr" infodir="${DESTDIR}/usr/share/info" install
|
make bindir="${DESTDIR}/usr/bin" infodir="${DESTDIR}/usr/share/info" install
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue