diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2020-11-26 14:42:09 +0000 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2020-11-26 16:15:53 +0000 |
| commit | 39e837cd7509ca631fdc382128202464063ff56e (patch) | |
| tree | d2c0edc5e07f916c28e459c119303028d6e510d4 /libstdc++-v3 | |
| parent | 10522ed1089277e2aa6cd708205aa5c730179cf0 (diff) | |
| download | gcc-39e837cd7509ca631fdc382128202464063ff56e.zip gcc-39e837cd7509ca631fdc382128202464063ff56e.tar.gz gcc-39e837cd7509ca631fdc382128202464063ff56e.tar.bz2 | |
libstdc++: Allow dejagnu tool_timeout to be overridden
This allows the default timeout for libstdc++ tests to be set by the
user, either in ~/.dejagnurc or a site.exp file that $DEJAGNU names.
libstdc++-v3/ChangeLog:
* testsuite/lib/libstdc++.exp (libstdc++_init): Only set
tool_timeout if it hasn't been set by the user already.
Diffstat (limited to 'libstdc++-v3')
| -rw-r--r-- | libstdc++-v3/testsuite/lib/libstdc++.exp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libstdc++-v3/testsuite/lib/libstdc++.exp b/libstdc++-v3/testsuite/lib/libstdc++.exp index 9ba4ced..bde8cc0 100644 --- a/libstdc++-v3/testsuite/lib/libstdc++.exp +++ b/libstdc++-v3/testsuite/lib/libstdc++.exp @@ -246,7 +246,10 @@ proc libstdc++_init { testfile } { } # Set the default timeout for v3 tests. - set tool_timeout 600 + # You can override this in ~/.dejagnurc or a .exp file named by $DEJAGNU. + if {![info exists tool_timeout]} { + set tool_timeout 600 + } # Default settings. set cxx [transform "g++"] |