]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool: Omit the logs of skipped tests from test-suite.log.
authorBruno Haible <bruno@clisp.org>
Mon, 22 Jul 2024 13:05:30 +0000 (15:05 +0200)
committerBruno Haible <bruno@clisp.org>
Mon, 22 Jul 2024 13:05:30 +0000 (15:05 +0200)
commitbeb4e55021ff436399a81010ad34fa403c837e6b
treee1cbeabc18269fb5f1441ef62386ef48388e8c3b
parentf3967bd90989306a8802f00d0b1aa1811f0c1b96
gnulib-tool: Omit the logs of skipped tests from test-suite.log.

* gnulib-tool.sh (func_emit_tests_Makefile_am): Emit an assignment to
IGNORE_SKIPPED_LOGS.
* pygnulib/GLEmiter.py (GLEmiter.tests_Makefile_am): Likewise.
ChangeLog
gnulib-tool.sh
pygnulib/GLEmiter.py