From 757160ccb0fb5d86d09e415eb52ffa9a3a85be5b Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Tue, 1 Nov 2022 09:09:02 +0100
Subject: 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(-)

(limited to 'top')

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)";				\
-- 
cgit v1.2.1