]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Implement option --single-configure.
authorBruno Haible <bruno@clisp.org>
Wed, 3 Aug 2022 20:42:25 +0000 (22:42 +0200)
committerBruno Haible <bruno@clisp.org>
Wed, 3 Aug 2022 23:52:00 +0000 (01:52 +0200)
commitf04b5c3acdc08549fb5b25936d2d17faae83a89b
tree9242986e29894ec5a15668b6a4b73d8a29a8319b
parentde028fc3637de15c3c0535e168bc5dda6a6084e6
gnulib-tool.py: Implement option --single-configure.

* gnulib-tool.py (main): Accept option --single-configure. Pass its
value to the GLConfig constructor.
* pygnulib/GLTestDir.py (GLTestDir.execute): Remove debugging output.
ChangeLog
gnulib-tool.py
gnulib-tool.py.TODO
pygnulib/GLTestDir.py