diff options
Diffstat (limited to 'bin/db-update')
| -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",' |