From: Simon Josefsson Date: Tue, 1 Nov 2022 08:09:02 +0000 (+0100) Subject: maintainer-makefile: Fix last sc_indent commit. X-Git-Tag: v1.0~1976 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=757160ccb0fb5d86d09e415eb52ffa9a3a85be5b;p=gnulib.git maintainer-makefile: Fix last sc_indent commit. * top/maint.mk (sc_indent): Don't use grep -q. Suggested by Bruno Haible. --- diff --git a/top/maint.mk b/top/maint.mk index 85b15fb2d2..0b42438b2c 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1663,7 +1663,7 @@ indent: # Running indent once is not idempotent, but running it twice is. indent $(indent_args) $(INDENT_SOURCES) sc_indent: - @if ! indent --version 2> /dev/null | grep -q 'GNU indent'; then\ + @if ! indent --version 2> /dev/null | grep 'GNU indent' > /dev/null; then \ echo 1>&2 '$(ME): sc_indent: GNU indent is missing'; \ else \ fail=0; files="$(INDENT_SOURCES)"; \