1*13de33a5SJulio Merino# Sometimes the "Killed" message is not flushed soon enough and it 2*13de33a5SJulio Merino# is redirected along with the output of a builtin. 3*13de33a5SJulio Merino# Do not change the semicolon to a newline as it would hide the bug. 4*13de33a5SJulio Merino 5*13de33a5SJulio Merinoexec 3>&1 6*13de33a5SJulio Merinoexec >/dev/null 2>&1 7*13de33a5SJulio Merino${SH} -c 'kill -9 $$'; : >&3 2>&3 8