diff options
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index e91e471..d7d6b3b 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -72,7 +72,7 @@ if [ $# -ne 0 ]; then usage fi -if ! "${base_dir}/bin/sanity-check" -r; then +if [ -s "${work_dir}/build-master-sanity" ]; then >&2 echo 'Build master is not sane.' exit 1 fi |