index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-06-22 09:04:41 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-22 09:04:41 +0200 |
commit | bc7c6279b3f64e82701e0d26a0c12483f994eed3 (patch) | |
tree | 08be7a38e6ceaf788c0e3a23d634d308030f1616 /bin/get-package-updates | |
parent | 6e793c837f0d7c4eb691224ed85a6669015d29bd (diff) |
-rwxr-xr-x | bin/get-package-updates | 5 |
diff --git a/bin/get-package-updates b/bin/get-package-updates index d1ceaaa..5faf6f5 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -72,6 +72,11 @@ if [ $# -ne 0 ]; then usage fi +if ! ${base_dir}/bin/sanity-check -r; then + >&2 echo 'Build master is not sane.' + exit 1 +fi + # delete_package package # mark $package for deletion delete_package() { |