projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b6f509) | patch
* runtest.exp (runtest): Introduce new --log_dialog option.
authorFilipe Brandenburger <filbranden@google.com>
Fri, 15 May 2015 05:51:49 +0000 (15:51 +1000)
committerBen Elliston <bje@gnu.org>
Fri, 15 May 2015 05:51:49 +0000 (15:51 +1000)
commit6fc810306d8e42cdad9d04418bfb335e1dd09143
treee2e356ce9ced2c742cf787db42ad4bb852c7a9b9tree | snapshot
parent4b6f509bece0562402731d80cba96cfd7411744ecommit | diff
* runtest.exp (runtest): Introduce new --log_dialog option.
* doc/runtest.1: Document it.
* doc/user.xml: Likewise.
* doc/dejagnu.texi: Regenerate.

Signed-off-by: Ben Elliston <bje@gnu.org>
ChangeLog diff | blob | history
doc/dejagnu.texi diff | blob | history
doc/runtest.1 diff | blob | history
doc/user.xml diff | blob | history
runtest.exp diff | blob | history
Domain: System / Toolchain;