[Pkg-gdb-logs] [dejagnu] 06/08: d/p/env-timeout.patch: refresh

[Hector Oron]

This is an automated email from the git hooks/post-receive script.

zumbi pushed a commit to branch master
in repository dejagnu.

commit 124a968c723094308cf78e949e9d6c9f103921fe
Author: Héctor Orón Martínez <zumbi at debian.org>
Date:   Thu Mar 19 18:59:43 2015 +0100

    d/p/env-timeout.patch: refresh
    
    Signed-off-by: Héctor Orón Martínez <zumbi at debian.org>
---
 debian/patches/env-timeout.patch | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/patches/env-timeout.patch b/debian/patches/env-timeout.patch
index ecb423b..e5ecab3 100644
--- a/debian/patches/env-timeout.patch
+++ b/debian/patches/env-timeout.patch
@@ -3,11 +3,11 @@
 	* lib/remote.exp (remote_exec): Check the DEJAGNU_TIMEOUT environment
 	variable.
 
-Index: dejagnu-1.4.4.cvs20060709/lib/remote.exp
+Index: dejagnu/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
+--- dejagnu.orig/lib/remote.exp	2015-03-17 00:44:46.418659078 +0100
++++ dejagnu/lib/remote.exp	2015-03-17 00:44:46.418659078 +0100
+@@ -255,6 +255,8 @@
      # 300 is probably a lame default.
      if { [llength $args] > 3 } {
  	set timeout "[lindex $args 3]"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-gdb/dejagnu.git