diff --git a/tools/dev_update_schema.sh b/tools/dev_update_schema.sh deleted file mode 100755 index e1d08d60..00000000 --- a/tools/dev_update_schema.sh +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/bash - -set -e -set -o pipefail - -cd "$(dirname "$0")" - -BASEDIR=".." - -test "$1" = '-f' || ( - echo "Run '$0' -f to DROP ALL ICINGADB TABLES and re-create them using the current schema" - false -) - -set -x - -( - mysql -uroot -e 'SHOW TABLES\G' icingadb