Also use a IS_NIGHTLY
variable to determine whether we're using the
nightly dockerfile or not, to decide whether to upgrade kresus or not.
Users may set this, but they ought not to do so themselves.
Also use a IS_NIGHTLY
variable to determine whether we're using the
nightly dockerfile or not, to decide whether to upgrade kresus or not.
Users may set this, but they ought not to do so themselves.