From 6213c5bd72d15ca5e1ea9c34122899e02fed448c Mon Sep 17 00:00:00 2001 From: Simon Josefsson Date: Fri, 3 May 2024 08:44:03 +0200 Subject: [PATCH] maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk. * top/maint.mk (indent_args): Use --ignore-profile. --- ChangeLog | 5 +++++ top/maint.mk | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) 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) -- 2.39.5