index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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/db-update | |
parent | 4ff3ae588805c768827ea174f74ce49cfccafcec (diff) |
-rwxr-xr-x | bin/db-update | 2 |
diff --git a/bin/db-update b/bin/db-update index 4f3cc38..cce65c8 100755 --- a/bin/db-update +++ b/bin/db-update @@ -376,7 +376,7 @@ packages_to_stabilize=$( ${@} ) -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 |