diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-03 10:44:14 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-03 10:44:14 +0200 |
| commit | 48197b7b95b4a9a2160379921b904bb7b4617e26 (patch) | |
| tree | 38921a5f30309f4f4ddc2f24b79553030f821414 /bin/get-package-updates | |
| parent | 4ff3ae588805c768827ea174f74ce49cfccafcec (diff) | |
| download | builder-48197b7b95b4a9a2160379921b904bb7b4617e26.tar.xz | |
use sanity-flag file instead of actually checking build master sanity
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 |