]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Don't unnecessarily sort an EXTRA_DIST augmentation.
authorBruno Haible <bruno@clisp.org>
Sun, 24 Mar 2024 00:28:49 +0000 (01:28 +0100)
committerBruno Haible <bruno@clisp.org>
Sun, 24 Mar 2024 00:28:49 +0000 (01:28 +0100)
commit63025526933096fb90ac5498cc9e90a90a11b45a
treeea529a01e7ce61538c8dfa224c9ac3ae93fd6825
parentab0c51499654e102d6894d25d57ff676a7bf342e
gnulib-tool.py: Don't unnecessarily sort an EXTRA_DIST augmentation.

* pygnulib/GLModuleSystem.py
(GLModule.getAutomakeSnippet_Unconditional): Don't remove duplicates or
sort the filenames in the EXTRA_lib_SOURCES augmentation or the
EXTRA_DIST augmentation for build-aux.
ChangeLog
pygnulib/GLModuleSystem.py