Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/ping-to-master
diff options
context:
space:
mode:
Diffstat (limited to 'bin/ping-to-master')
-rwxr-xr-xbin/ping-to-master2
1 files changed, 2 insertions, 0 deletions
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"