diff options
| -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 |