diff options
| 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/sanity-check | |
| parent | 3771352050c5cf1a103af8faf0711164d724083b (diff) | |
| download | builder-10a66c2708605eb86241522afaf2feed3e2e4e33.tar.xz | |
bin/sanity-check: remove successful queries if we are still sane
Diffstat (limited to 'bin/sanity-check')
| -rwxr-xr-x | bin/sanity-check | 3 |
1 files changed, 3 insertions, 0 deletions
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 |