> From: Rask Ingemann Lambertsen <[EMAIL PROTECTED]>
>    In case it isn't obvious, I have little or no clue about tcl, expect and
> dejagnu. The only time that I've had success in modifying the timeout was by
> adding this to /usr/share/dejagnu/baseboards/unix.exp:
> set_board_info gcc,timeout 5400

I am not sure what the 'right' way to do this is.  I wound up editing
/usr/share/dejagnu/remote.exp to change 'set timeout 300' to 'set
timeout 2000' and I edited /usr/share/dejagnu/config/unix.exp to change
'set status [remote_wait $dest 300]' to 'set status [remote_wait $dest

It may not be the right way to do it but it has worked for me.

Steve Ellcey

Reply via email to