diff options
Diffstat (limited to 'bin/cleanup')
| -rwxr-xr-x | bin/cleanup | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/cleanup b/bin/cleanup index f01ba98..93af0bc 100755 --- a/bin/cleanup +++ b/bin/cleanup @@ -11,7 +11,7 @@ if ! tty -s && \ exit 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 |