summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/db-update4
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",'