diff options
| -rw-r--r-- | top/maint.mk | 2 |
1 files changed, 1 insertions, 1 deletions
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)"; \ |