summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorDaniel Friesel <derf@derf.homelinux.org>2008-10-08 10:47:02 +0200
committerDaniel Friesel <derf@derf.homelinux.org>2008-10-08 10:47:02 +0200
commit7dc3cfbe7ea5ec3ea0ae34af1f087e22e40550e6 (patch)
treeebf206e47610628b7208ea72fc2ac0fe1511438b /bin
parent02a89b367b7e915a8729bcf123c42546ab1d8aa4 (diff)
bin/pkg: pkg_push: Pushing means the package got changed, so do the update stuff
Diffstat (limited to 'bin')
-rwxr-xr-xbin/pkg9
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 () {