[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gnulib-tool.py in wget
From: |
Bruno Haible |
Subject: |
gnulib-tool.py in wget |
Date: |
Wed, 10 Apr 2024 14:07:00 +0200 |
Hi Collin,
Another package that shows a difference. Can you please handle it?
$ export GNULIB_TOOL_IMPL=sh+py
$ git clone https://git.savannah.gnu.org/git/wget.git
$ cd wget
$ ./bootstrap --no-git --gnulib-srcdir=$GNULIB_SRCDIR
...
./bootstrap: .../gnulib-tool --no-changelog --aux-dir=build-aux
--doc-base=doc --lib=libgnu --m4-base=m4/ --source-base=lib/
--tests-base=lib/tests --local-dir=gl --makefile-name=gnulib.mk
--po-base=gnulib_po --po-domain=wget --import ...
.../gnulib-tool: *** gnulib-tool.py produced different files than
gnulib-tool.sh! Compare .../wget and .../glpyjuwsDS.
.../gnulib-tool: *** Stop.
./bootstrap: gnulib-tool failed
The reason is a different order of the languages in LINGUAS.
gnulib-tool.sh uses
LC_ALL=C ls -1 *.po | sed -e 's,\.po$,,'
which produces sorted output. Whereas GLImport.py uses
for file in os.listdir(joinpath(destdir, pobase))
which lacks the sorting.
Bruno
- gnulib-tool.py in wget,
Bruno Haible <=