]> 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)
committerSimon Josefsson <simon@josefsson.org>
Tue, 1 Nov 2022 08:10:20 +0000 (09:10 +0100)
commit757160ccb0fb5d86d09e415eb52ffa9a3a85be5b
tree4ed95915d492ddfbbaa6548e7e3bac6aaf08b628
parent4555e788613f1f5d1e8519427591bef3274d3124
maintainer-makefile: Fix last sc_indent commit.

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