Update cloud image Ubuntu18.04 docker x86_64

[releng/builder.git] / jjb / releng-maven-mri-stage.sh

diff --git a/jjb/releng-maven-mri-stage.sh b/jjb/releng-maven-mri-stage.sh
index 3b5ddd56d08ae141bf90e65e08b8d24e4919e28a..523650211042230c9799fb674462469b62b4f887 100644 (file)
--- a/jjb/releng-maven-mri-stage.sh
+++ b/jjb/releng-maven-mri-stage.sh
@@ -8,6 +8,7 @@ echo "---> releng-maven-mri-stage.sh"
 # $STAGING_PROFILE_ID :  Provided by a job parameter.
 
 # Ensure we fail the job if any steps fail.
+# shellcheck disable=SC2039,SC3040
 set -xeu -o pipefail
 
 TMP_FILE="$(mktemp)"