diff options
| author | Brooks Moses <bmoses@google.com> | 2015-11-20 09:21:04 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2015-11-20 09:21:04 +1100 |
| commit | 73db65f5379532d038cb65b45c56f8d8f765286a (patch) | |
| tree | 10fe43c4d6919c74b95df63ccd41d13635185c0c /Makefile.in | |
| parent | 9fc0c958ddcb30d27dac36bd1de8636579778f9c (diff) | |
| download | dejagnu-73db65f5379532d038cb65b45c56f8d8f765286a.tar.gz dejagnu-73db65f5379532d038cb65b45c56f8d8f765286a.tar.bz2 dejagnu-73db65f5379532d038cb65b45c56f8d8f765286a.zip | |
* config/unix.exp: Add ability to set test timeout from site.exp.
* doc/user.xml: Document new test_timeout variable in site.exp.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions