bin/pkg: pkg_push: Pushing means the package got changed, so do the update stuff

1 files changed, 9 insertions, 0 deletions

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 () {