Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-03-08 09:36:17 +0100
committerErich Eckner <git@eckner.net>2018-03-08 09:36:17 +0100
commit528597cafd46da1122299e1a73e7360c46b01014 (patch)
tree70b4516fad2b3e21dd423d41a243a8043386ae0c
parent344682e7a5bb10dc9b3eed360845223247525c9f (diff)
bin/db-update: cleanup mysql database before accessing it (to accellerate database operations)
-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",'