From 528597cafd46da1122299e1a73e7360c46b01014 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 8 Mar 2018 09:36:17 +0100
Subject: bin/db-update: cleanup mysql database before accessing it (to
 accellerate database operations)

---
 bin/db-update | 4 ++++
 1 file changed, 4 insertions(+)

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