2016-01-26 19:42+0100, Andrew Jones: > Signed-off-by: Andrew Jones <drjones@xxxxxxxxxx> > --- > diff --git a/scripts/arch-run.bash b/scripts/arch-run.bash > @@ -60,3 +61,10 @@ exit_fixup () > > return $ret > } > + > +timeout_cmd () > +{ > + if [ "$TIMEOUT" ] && [ "$TIMEOUT" != "0" ]; then > + echo "timeout --foreground $TIMEOUT" We could add "-k $(($TIMEOUT + 5))" in case QEMU ignores SIGTERM ... or just directly SIGKILL? > + fi > +} -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html