]> git.ipfire.org Git - thirdparty/gnulib.git/commit
projects / thirdparty / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23fc34c) | patch
gnulib-tool: Enhance last patch.
authorBruno Haible <bruno@clisp.org>
Fri, 15 Mar 2024 21:36:51 +0000 (22:36 +0100)
committerBruno Haible <bruno@clisp.org>
Fri, 15 Mar 2024 21:37:40 +0000 (22:37 +0100)
commitcf0c3a42a226d6eaf3fcabe83c6472a4c1e28dbf
treef9b285a2bacaa2662f356bad3c15b0f946ce9aaetree | snapshot
parent23fc34c03f82e48822c7ed9c2f427b456065c400commit | diff
gnulib-tool: Enhance last patch.

* gnulib-tool: If gnulib-tool.sh failed but gnulib-tool.py succeeded,
report that and don't erase the outputs and log files.
ChangeLog diff | blob | blame | history
gnulib-tool diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/gnulib.git