index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2020-02-05 09:34:26 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-02-05 09:39:09 +0100 |
commit | 10a66c2708605eb86241522afaf2feed3e2e4e33 (patch) | |
tree | b9ff482b09ea9d6944d0399966072e26f9d318b0 /bin | |
parent | 3771352050c5cf1a103af8faf0711164d724083b (diff) |
-rwxr-xr-x | bin/sanity-check | 3 |
diff --git a/bin/sanity-check b/bin/sanity-check index 8cd1f1a..913f5d9 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -642,6 +642,9 @@ if [ ${exit_code} -ne 0 ]; then exit ${exit_code} fi +# remove all saved successful queries - they did not break anything +find "${work_dir}" -mindepth 1 -maxdepth 1 -name 'successful.*' -delete + if [ -f "${work_dir}/build-master-sanity" ]; then rm "${work_dir}/build-master-sanity" # shellcheck disable=SC2119 |