Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/ping-from-slave
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-08 09:56:03 +0200
committerErich Eckner <git@eckner.net>2018-05-08 09:56:03 +0200
commit61b1a165073ef79ef588c8606f8bc94785e4db6d (patch)
treed3cc39e11aec71790c63f4a63cdc045cdc4669a5 /bin/ping-from-slave
parent936c9161dce0d01b0c47a406085c2e46e6d35040 (diff)
lib/mysql-functions: mysql_package_name_query make table names customizable
Diffstat (limited to 'bin/ping-from-slave')
-rwxr-xr-xbin/ping-from-slave2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave
index 7611f44..5ba8395 100755
--- a/bin/ping-from-slave
+++ b/bin/ping-from-slave
@@ -5,6 +5,8 @@
# - show that the build is still running
# - get notified by the build master if the build is not necessary anymore
+# shellcheck disable=SC2119,SC2120
+
# shellcheck source=../conf/default.conf
. "${0%/*}/../conf/default.conf"