[Bug testsuite/100203] Dejagnu timeouts don't work

[jakub at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100203

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The multiple pids in $pid is a result of standard_close, which does:
        if {[board_info ${host} exists fileid_origid]} {
            set oid [board_info ${host} fileid_origid]
            set pid [pid $oid]
            unset board_info(${host},fileid_origid)
Where that [pid $oid] where $oid is file7 for me results in the multiple pids.