]> Savannah Git Hosting - gnulib.git/commitdiff
maint.mk: Don't fail on ~/.indent.pro, reported by Collin Funk.
authorSimon Josefsson <simon@josefsson.org>
Fri, 3 May 2024 06:44:03 +0000 (08:44 +0200)
committerSimon Josefsson <simon@josefsson.org>
Fri, 3 May 2024 06:44:03 +0000 (08:44 +0200)
* top/maint.mk (indent_args): Use --ignore-profile.

ChangeLog
top/maint.mk

index d967c8cfac33b57f0fbf31419c317480614bd6f6..2781a7080087001a61fdca1401aa7f7c1ae329ce 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-05-03  Simon Josefsson  <simon@josefsson.org>
+
+       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  <collin.funk1@gmail.com>
 
        gnulib-tool.sh: Fix program name in error message.
index c30e71ba6ec7223d61de422fc3013a8acf3a9e52..af865717c49a75213418ea2fc88f722c12f0c161 100644 (file)
@@ -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)