]> 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)
committerBruno Haible <bruno@clisp.org>
Fri, 17 May 2024 22:57:11 +0000 (00:57 +0200)
* top/maint.mk (indent_args): Use --ignore-profile.

ChangeLog
top/maint.mk

index 2d0e931d36f92b50461ca2f38725ed61d37e033a..4eeba0f52cb65bcf100385ed79c5281ecbfebe8e 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-01  Bruno Haible  <bruno@clisp.org>
 
        readutmp, boot-time: Improve for some Cygwin installations.
index 1b4a2de4f9bc8558a4097db6e26ef3ed93ecdd46..ea8df98d8531a25ee44abae0c33ec08869aa9b0a 100644 (file)
@@ -1660,7 +1660,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)