libstdc++: Allow dejagnu tool_timeout to be overridden
authorJonathan Wakely <jwakely@redhat.com>
Thu, 26 Nov 2020 14:42:09 +0000 (14:42 +0000)
committerJonathan Wakely <jwakely@redhat.com>
Thu, 26 Nov 2020 16:15:53 +0000 (16:15 +0000)
commit39e837cd7509ca631fdc382128202464063ff56e
treed2c0edc5e07f916c28e459c119303028d6e510d4
parent10522ed1089277e2aa6cd708205aa5c730179cf0
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.
libstdc++-v3/testsuite/lib/libstdc++.exp