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

bug-gnulib

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From:	Collin Funk
Subject:	gnulib-tool.py: Don't remove duplicate avoided modules.
Date:	Sun, 7 Apr 2024 16:48:28 -0700
User-agent:	Mozilla Thunderbird

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.

Collin

0001-gnulib-tool.py-Don-t-remove-duplicate-avoided-module.patch
Description: Text Data

[Prev in Thread]

Current Thread

[Next in Thread]

gnulib-tool.py: Don't remove duplicate avoided modules., Collin Funk <=
- Re: gnulib-tool.py: Don't remove duplicate avoided modules., Bruno Haible, 2024/04/07
  - gnulib-tool.py current status, Collin Funk, 2024/04/07
    - Re: gnulib-tool.py current status, Bruno Haible, 2024/04/10
    - Re: gnulib-tool.py current status, Bruno Haible, 2024/04/11

Prev by Date: Re: Python list micro-benchmarks
Next by Date: Re: gnulib-tool.py: Don't remove duplicate avoided modules.
Previous by thread: Re: Issue with intprops-internal.h / GCC 8.3
Next by thread: Re: gnulib-tool.py: Don't remove duplicate avoided modules.
Index(es):
- Date
- Thread