summaryrefslogtreecommitdiff
path: root/cfg.mk
diff options
context:
space:
mode:
Diffstat (limited to 'cfg.mk')
-rw-r--r--cfg.mk3
1 files changed, 2 insertions, 1 deletions
diff --git a/cfg.mk b/cfg.mk
index c1a46585f..4803074f8 100644
--- a/cfg.mk
+++ b/cfg.mk
@@ -606,7 +606,8 @@ sc_preprocessor_indentation:
# this rule detects that their pair may now be removed from THANKS.in.
sc_THANKS_in_duplicates:
@{ git log --pretty=format:%aN | sort -u; \
- cut -b-36 THANKS.in | sed '/^$$/d;s/ *$$//'; } \
+ cut -b-36 THANKS.in \
+ | sed '/^$$/,/^$$/!d;/^$$/d;s/ *$$//'; } \
| sort | uniq -d | grep . \
&& { echo '$(ME): remove the above names from THANKS.in' \
1>&2; exit 1; } || :