Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/sanity-check
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-02-05 09:34:26 +0100
committerErich Eckner <git@eckner.net>2020-02-05 09:39:09 +0100
commit10a66c2708605eb86241522afaf2feed3e2e4e33 (patch)
treeb9ff482b09ea9d6944d0399966072e26f9d318b0 /bin/sanity-check
parent3771352050c5cf1a103af8faf0711164d724083b (diff)
bin/sanity-check: remove successful queries if we are still sane
Diffstat (limited to 'bin/sanity-check')
-rwxr-xr-xbin/sanity-check3
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