lib/mysql-functions: mysql_package_name_query make table names customizable

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"