Re: gnulib-tool.py: Don't remove duplicate avoided modules.

2024-04-07 Thread Bruno Haible
Collin Funk wrote: > In test-gettext-7.sh there are missing modules in gl_AVOID and the > actioncmd printed on Makefiles. This is because gnulib-tool.py will > remove the duplicates. This patch fixes that. Thanks! Applied. All test-gettext-*.sh pass now. Cool. Bruno

gnulib-tool.py: Don't remove duplicate avoided modules.

2024-04-07 Thread Collin Funk
2024 16:41:18 -0700 Subject: [PATCH] gnulib-tool.py: Don't remove duplicate avoided modules. * pygnulib/GLConfig.py (GLConfig.addAvoid): Don't remove duplicates from the modules passed with --avoid. --- ChangeLog| 6 ++ pygnulib/GLConfig.py | 3 +-- 2 files changed, 7 insert