]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool: Ignore .orig and .rej files under modules/.
authorBruno Haible <bruno@clisp.org>
Thu, 18 May 2023 14:03:00 +0000 (16:03 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 20 May 2023 09:01:24 +0000 (11:01 +0200)
commitf24458a7a93a8f7e4be1788fac115bef5d94e39a
tree65eab79db025dbde90c62ea23f20ff98349d82b0
parent452705d525e77d48c33b86d3518531c2b719bdfa
gnulib-tool: Ignore .orig and .rej files under modules/.

* gnulib-tool (func_sanitize_modulelist): Exclude also files whose name
ends in .orig or .rej.
* pygnulib/GLModuleSystem.py (GLModuleSystem.file_is_module): Likewise.
ChangeLog
gnulib-tool