From 10a66c2708605eb86241522afaf2feed3e2e4e33 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 5 Feb 2020 09:34:26 +0100
Subject: bin/sanity-check: remove successful queries if we are still sane

---
 bin/sanity-check | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3-70-g09d2