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.
This commit is contained in:
Jonathan Wakely 2020-11-26 14:42:09 +00:00
parent 10522ed108
commit 39e837cd75

View file

@ -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++"]