#!/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