diff options
author | Simon Josefsson <simon@josefsson.org> | 2022-10-31 09:42:42 +0100 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2022-10-31 09:42:42 +0100 |
commit | 4ad0eedf4ff8d294a10c20b8945d0e59aa8141db (patch) | |
tree | 50f1a8bc04dc60054c597e0990ccf39f8b6449a5 /top/maint.mk | |
parent | 37e0cb5e7e027dfcf2011d2f8a236d4ee0562f05 (diff) | |
download | gnulib-4ad0eedf4ff8d294a10c20b8945d0e59aa8141db.tar.gz |
maintainer-makefile: Fix Apple Xcode 'make syntax-check'.
* top/maint.mk (sc_indent): Don't use non-GNU indent.
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 \ |