From 39e837cd7509ca631fdc382128202464063ff56e Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Thu, 26 Nov 2020 14:42:09 +0000 Subject: [PATCH] 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 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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++"] -- 2.7.4