From: Simon Josefsson Date: Fri, 3 May 2024 06:44:03 +0000 (+0200) Subject: maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=6213c5bd72d15ca5e1ea9c34122899e02fed448c;p=gnulib.git maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk. * top/maint.mk (indent_args): Use --ignore-profile. --- diff --git a/ChangeLog b/ChangeLog index d967c8cfac..2781a70800 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2024-05-03 Simon Josefsson + + maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk. + * top/maint.mk (indent_args): Use --ignore-profile. + 2024-05-02 Collin Funk gnulib-tool.sh: Fix program name in error message. diff --git a/top/maint.mk b/top/maint.mk index c30e71ba6e..af865717c4 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1746,7 +1746,7 @@ refresh-po: # Indentation -indent_args ?= -ppi 1 +indent_args ?= --ignore-profile --preprocessor-indentation 1 C_SOURCES ?= $$($(VC_LIST_EXCEPT) | grep '\.[ch]\(.in\)\?$$') INDENT_SOURCES ?= $(C_SOURCES) exclude_file_name_regexp--indent ?= $(exclude_file_name_regexp--sc_indent)