diff options
Diffstat (limited to 'top/maint.mk')
| -rw-r--r-- | top/maint.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/top/maint.mk b/top/maint.mk index 495a0a2bf6..045609c285 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1659,8 +1659,8 @@ indent: # Running indent once is not idempotent, but running it twice is. indent $(indent_args) $(INDENT_SOURCES) sc_indent: - @if ! command -v indent > /dev/null; then \ - echo 1>&2 '$(ME): sc_indent: indent is missing'; \ + @if ! indent --version 2> /dev/null | grep -q 'GNU indent'; then\ + echo 1>&2 '$(ME): sc_indent: GNU indent is missing'; \ else \ fail=0; files="$(INDENT_SOURCES)"; \ for f in $$files; do \ |