]> 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 08:57:42 +0000 (10:57 +0200)
commit5cda4e3e18476e959e631575af754f0e1050bceb
tree63bac37aa60b83274054391a17aba51038c61483
parent3cc14f417f495d08a1b65d838f10e1d2e9dc8470
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
pygnulib/GLModuleSystem.py