From 3ac3afc9469fef1e9437772abd14c99b66e70387 Mon Sep 17 00:00:00 2001 From: Simon Josefsson Date: Tue, 1 Nov 2022 09:09:02 +0100 Subject: [PATCH] maintainer-makefile: Fix last sc_indent commit. * top/maint.mk (sc_indent): Don't use grep -q. Suggested by Bruno Haible. --- top/maint.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/top/maint.mk b/top/maint.mk index c121e37a3d..2692a370d8 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1644,7 +1644,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)"; \ -- 2.39.5