]> Savannah Git Hosting - gnulib.git/commit
maintainer-makefile: Fix last sc_indent commit.
authorSimon Josefsson <simon@josefsson.org>
Tue, 1 Nov 2022 08:09:02 +0000 (09:09 +0100)
committerBruno Haible <bruno@clisp.org>
Sun, 1 Jan 2023 09:15:55 +0000 (10:15 +0100)
commit3ac3afc9469fef1e9437772abd14c99b66e70387
tree519bd63047f52c02f308dfb7c0f604bdeef6a868
parente485da2e35ebb2823be60dfa9fa78594a78d6fdc
maintainer-makefile: Fix last sc_indent commit.

* top/maint.mk (sc_indent): Don't use grep -q.
Suggested by Bruno Haible.
top/maint.mk