Fix race exposed by gdb.threads/killed.exp
This page took 0.04296 seconds and 3 git commands to generate.