bin/db-update: cleanup mysql database before accessing it (to accellerate database operations)

1 files changed, 4 insertions, 0 deletions

diff --git a/bin/db-update b/bin/db-update
index 9a5fb1f..8d2c0b5 100755
--- a/bin/db-update
+++ b/bin/db-update
@@ -548,6 +548,9 @@ clean_up_lock_file() {
 
 trap clean_up_lock_file EXIT
 
+# shellcheck disable=SC2119
+mysql_cleanup
+
 # sanity check
 
 for ending in 'done' 'tested'; do
@@ -564,6 +567,7 @@ for ending in 'done' 'tested'; do
   fi
 done
 
+# shellcheck disable=SC2016
 {
   printf 'CALL calculate_maximal_moveable_set("testing");\n'
   printf 'SELECT "mv",'