]> Savannah Git Hosting - gnulib.git/commit
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
treef9b285a2bacaa2662f356bad3c15b0f946ce9aae
parent23fc34c03f82e48822c7ed9c2f427b456065c400
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
gnulib-tool