blob: 07dec27709b3a7f5515dbb9b0e98c03966a26520 [file] [log] [blame]
#!/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
}