diff options
| author | Erich Eckner <git@eckner.net> | 2022-11-14 19:18:11 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-11-14 19:18:11 +0100 |
| commit | 3fde57dc61cb3e31e2b966d8595f97abaaf69933 (patch) | |
| tree | 517ec812ce50a2c9861dcb6788dabfcb5c29c6f8 | |
| parent | be023af12b7326776b08db03ff7786a1a51f0a1c (diff) | |
| download | even-more-utils-3fde57dc61cb3e31e2b966d8595f97abaaf69933.tar.xz | |
chmod +x repariert
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |