dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

modifiying the default timeout


From: Matthias Klose
Subject: modifiying the default timeout
Date: Tue, 25 Feb 2003 12:48:34 +0100

The default timeout of 300 is too small for the libstdc++-v3 tests
from the gcc source, when run on m68k (68040, 33MHz) or arm. The
attached patch doesn't solve the problem, but provides a workaround
with setting the environment variable DEJAGNU_TIMEOUT to the value
wanted.

I would like to know of a better solution ...

Thanks, Matthias

--- /usr/share/dejagnu/remote.exp~      2003-02-23 13:39:06.000000000 +0100
+++ /usr/share/dejagnu/remote.exp       2003-02-23 14:11:55.000000000 +0100
@@ -253,6 +253,8 @@
     # 300 is probably a lame default.
     if { [llength $args] > 3 } {
     set timeout "[lindex $args 3]";
+    } elseif { [getenv DEJAGNU_TIMEOUT] != "" } {
+    set timeout [getenv DEJAGNU_TIMEOUT]
     } else {
     set timeout 300
     }




reply via email to

[Prev in Thread] Current Thread [Next in Thread]