diff options
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 5 |
1 files changed, 5 insertions, 0 deletions
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() { |