> How about gdb_test_timeout, then?

Sure. Attached is what I have checked in.

-- 
Joel