dejagnu (1.5-3) env-timeout.patch

2008-04-06  Daniel Jacobowitz  <drow@false.org>

	* 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
     }