[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: modifiying the default timeout
|
From: |
Rob Savoye |
|
Subject: |
Re: modifiying the default timeout |
|
Date: |
Thu, 27 Feb 2003 09:29:54 -0700 |
|
User-agent: |
Mutt/1.2.5.1i |
On Tue, Feb 25, 2003 at 12:48:34PM +0100, Matthias Klose wrote:
> 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 ...
Right now, timeout is a global variable. Rather than setting it via an
environment variable, it needs to be setable from either the runtest
command line, and/or the baseboard file for that target. Currently
timeout gets set a bit blindly, but it shouldn't be hard to make these
other two ways to change the timeout work.
- rob -