]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool: simplify/speed startup
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 6 Jul 2024 14:41:44 +0000 (16:41 +0200)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 6 Jul 2024 14:44:18 +0000 (16:44 +0200)
commit15ec89beae6ded70d4079c5c49861d0b701a353b
treee69632eee9dd482a2455633e9e2ad0a16d09937a
parent41c6b35da690058d9c2ac235fcab7ece5d152d0d
gnulib-tool: simplify/speed startup

* gnulib-tool, gnulib-tool.py (prog): New var.  Use it to simplify
and speed up startup in common cases.
ChangeLog
gnulib-tool
gnulib-tool.py