From 7dc3cfbe7ea5ec3ea0ae34af1f087e22e40550e6 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Wed, 8 Oct 2008 10:47:02 +0200 Subject: bin/pkg: pkg_push: Pushing means the package got changed, so do the update stuff --- bin/pkg | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/bin/pkg b/bin/pkg index 97ae36a..1979bb0 100755 --- a/bin/pkg +++ b/bin/pkg @@ -436,6 +436,15 @@ pkg_push () { info "Pushing $1\n" vcs_push } + check_prereqs $1 + if [[ -r Makefile ]] { + info "Building binaries\n" + make + } + triggers+=$1 + checklinks $CL_OPTIONS + populate_collected $1 + update_provides $1 } pkg_remove () { -- cgit v1.2.3