From 3fde57dc61cb3e31e2b966d8595f97abaaf69933 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 14 Nov 2022 19:18:11 +0100
Subject: chmod +x repariert

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4009776..471aa51 100644
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,7 @@ all: $(BINS)
 		s@#BINDIR#@$(BINDIR)@; \
 		s@#HELPTEXT#\(\s\+\)#@  --help   \1display this help and exit\n  --version\1display version and exit@; \
 		" $< > $@
-	[ -z "${@%%*.*}" ] || chmod +x "$@"
+	echo "$@" | grep -qF . || chmod +x "$@"
 
 .PHONY:	install dist clean
 
-- 
cgit v1.2.3-70-g09d2