[gcc r10-9597] libstdc++: Allow dejagnu tool_timeout to be overridden

[Jonathan Wakely <redi@gcc.gnu.org>]

https://gcc.gnu.org/g:f23c816703737d5d8c0d7deb3d0da19bac42619d

commit r10-9597-gf23c816703737d5d8c0d7deb3d0da19bac42619d
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Thu Nov 26 14:42:09 2020 +0000

    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.
    
    (cherry picked from commit 39e837cd7509ca631fdc382128202464063ff56e)

Diff:
---
 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 16963f2edd5..3b8587cd01d 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++"]