diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2019-01-26 20:46:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-26 20:46:33 +0100 |
| commit | cb6439bacd8b5d10ef2a4d2eb4e8ab2f950e4ffd (patch) | |
| tree | c4e7f08ee7e1c027eeccc16fb51359a5204d0f32 /contrib/check_updates.sh | |
| parent | 5ff88ea04aec4677f1c1d669674e5442288a25e3 (diff) | |
Circle CI (#22982)
* Build/CI: Add Circle CI
* Fix travis
Diffstat (limited to 'contrib/check_updates.sh')
| -rw-r--r-- | contrib/check_updates.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/check_updates.sh b/contrib/check_updates.sh index 6c33d07ae8b..4376b9a6bf9 100644 --- a/contrib/check_updates.sh +++ b/contrib/check_updates.sh @@ -2,13 +2,14 @@ name=$1 branch=$2 database=$3 +host=$4 echo "Database Updater check script:" echo " Checking database '${name}' for missing filenames in tables..." echo # Select all entries which are in the updates table -entries=$(mysql -uroot ${database} -e "SELECT name FROM updates" | grep ".sql") +entries=$(mysql -uroot ${database} -h ${host} -e "SELECT name FROM updates" | grep ".sql") cd sql/updates/${name}/${branch} |