From 61b1a165073ef79ef588c8606f8bc94785e4db6d Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 8 May 2018 09:56:03 +0200
Subject: lib/mysql-functions: mysql_package_name_query make table names
 customizable

---
 bin/ping-to-master | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'bin/ping-to-master')

diff --git a/bin/ping-to-master b/bin/ping-to-master
index 6da0749..11dc7b8 100755
--- a/bin/ping-to-master
+++ b/bin/ping-to-master
@@ -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"
 
-- 
cgit v1.2.3-54-g00ecf