]> 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 23:24:09 +0000 (01:24 +0200)
* top/maint.mk (indent_args): Use --ignore-profile.

ChangeLog
top/maint.mk

index 89e709c32341393d81b8f349d5d0661a07271015..b425b2e0c5d02f87c2f345b65b464c1a2df7aa12 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>
 
        stddef: A better workaround against GCC bug 114870.
index edcf3c7049cc3fdd86bb7c2e515bfa4fb1224e57..10b13d17a3b5eb4a8944e273e316d24f5190e70f 100644 (file)
@@ -2,7 +2,7 @@
 # This Makefile fragment tries to be general-purpose enough to be
 # used by many projects via the gnulib maintainer-makefile module.
 
-## Copyright (C) 2001-2023 Free Software Foundation, Inc.
+## Copyright (C) 2001-2024 Free Software Foundation, Inc.
 ##
 ## This program is free software: you can redistribute it and/or modify
 ## it under the terms of the GNU General Public License as published by
@@ -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)