diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-08 09:36:17 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-08 09:36:17 +0100 |
| commit | 528597cafd46da1122299e1a73e7360c46b01014 (patch) | |
| tree | 70b4516fad2b3e21dd423d41a243a8043386ae0c /bin | |
| parent | 344682e7a5bb10dc9b3eed360845223247525c9f (diff) | |
| download | builder-528597cafd46da1122299e1a73e7360c46b01014.tar.xz | |
bin/db-update: cleanup mysql database before accessing it (to accellerate database operations)
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/db-update | 4 |
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",' |