1 2 3 4 5 6 7 8 9 10 11 12 13
#!/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 }