]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: Don't remove duplicate avoided modules.
authorCollin Funk <collin.funk1@gmail.com>
Sun, 7 Apr 2024 23:41:18 +0000 (16:41 -0700)
committerBruno Haible <bruno@clisp.org>
Mon, 8 Apr 2024 00:18:17 +0000 (02:18 +0200)
* pygnulib/GLConfig.py (GLConfig.addAvoid): Don't remove duplicates from
the modules passed with --avoid.

ChangeLog
pygnulib/GLConfig.py

index e9054029a7f77ea8e2a2f3d99ec695edf842cd8a..535dfc04cc27f015a13325ea0363e6d7bdd1cafd 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2024-04-07  Collin Funk  <collin.funk1@gmail.com>
+
+       gnulib-tool.py: Don't remove duplicate avoided modules.
+       * pygnulib/GLConfig.py (GLConfig.addAvoid): Don't remove duplicates from
+       the modules passed with --avoid.
+
 2024-04-07  Bruno Haible  <bruno@clisp.org>
 
        sigsegv tests: Avoid a crash on NetBSD 10.0/i386.
index f5282dbf53edd16e299aefec385ff56d510abd91..0f9d118a785ec6f120d08cc93814cb6b4854891e 100644 (file)
@@ -559,8 +559,7 @@ class GLConfig:
         '''Avoid including the given module. Useful if you have code that provides
         equivalent functionality.'''
         if type(module) is str:
-            if module not in self.table['avoids']:
-                self.table['avoids'].append(module)
+            self.table['avoids'].append(module)
         else:  # if module has not str type
             raise TypeError('avoid must be a string, not %s'
                             % type(module).__name__)