[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Debian patch: DEJAGNU_TIMEOUT
From: |
Daniel Jacobowitz |
Subject: |
Debian patch: DEJAGNU_TIMEOUT |
Date: |
Sun, 6 Apr 2008 12:52:39 -0400 |
User-agent: |
Mutt/1.5.17 (2007-12-11) |
Here's a patch we've been using in Debian for some time. The
hardcoded "300" timeout is too small for various testsuites on some of
our slower architectures. Instead of bravely attempting to clean up
the million settings of "timeout", this patch just overrides the
one that was giving us trouble; posted for your consideration
regardless.
--
Daniel Jacobowitz
CodeSourcery
2008-04-06 Daniel Jacobowitz <address@hidden>
* lib/remote.exp (remote_exec): Check the DEJAGNU_TIMEOUT environment
variable.
Index: dejagnu-1.4.4.cvs20060709/lib/remote.exp
===================================================================
--- dejagnu-1.4.4.cvs20060709.orig/lib/remote.exp 2006-07-09
15:23:01.000000000 -0400
+++ dejagnu-1.4.4.cvs20060709/lib/remote.exp 2006-07-09 15:23:23.000000000
-0400
@@ -251,6 +251,8 @@ proc remote_exec { hostname program args
# 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
}
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Debian patch: DEJAGNU_TIMEOUT,
Daniel Jacobowitz <=