14 lines
222 B
Plaintext
14 lines
222 B
Plaintext
|
#!/usr/bin/expect -f
|
||
|
|
||
|
if {[info exists env(DEJAGNU_TIMEOUT)]} {
|
||
|
set timeout $env(DEJAGNU_TIMEOUT)
|
||
|
} else {
|
||
|
set timeout 300
|
||
|
}
|
||
|
|
||
|
spawn -noecho $argv
|
||
|
expect timeout {
|
||
|
send_user "Program timed out.\n"
|
||
|
exit 1
|
||
|
}
|