From c98d6c8175a1b2fe4452990b6ac19346411b637d Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 13 Jan 2022 15:02:40 -0300
Subject: aux/: Update

---
 aux/ci/git-post-receive.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'aux/ci/git-post-receive.sh')

diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh
index 426bff3..92bba73 100755
--- a/aux/ci/git-post-receive.sh
+++ b/aux/ci/git-post-receive.sh
@@ -4,7 +4,8 @@ set -eu
 for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do
 	opt="$(eval "echo \$GIT_PUSH_OPTION_$n")"
 	if [ "$opt" = skip-ci ] || [ "$opt" = ci-skip ]; then
-		printf "\n'%s' option detected, not running ci-build.sh\n\n" "$opt"
+		printf "\n'%s' option detected, not running ci-build.sh\n\n" \
+			"$opt"
 		exit 0
 	fi
 done
-- 
cgit v1.2.3