On 19/01/2016 14:24, Radim Krčmář wrote: > diff --git a/scripts/runtime.bash b/scripts/runtime.bash > index 8813b9ddbf1e..defbef31377d 100644 > --- a/scripts/runtime.bash > +++ b/scripts/runtime.bash > @@ -1,3 +1,5 @@ > +[ "${RUNTIME_arch_run?}" ] If you want magic, you might as well say : "${RUNTIME_arch_run?}" Paolo -- 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