@@ -57,9 +57,12 @@ pipeline {
error('Unknown cluster')
}
+
+ script {
sh "set"
currentBuild.result = 'ABORTED'
error ('Emergency stop')
+ }
echo "Building ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER}."
sh "docker build --build-arg repo=${repo} --no-cache -t ${DOCKER_REGISTRY}/iru/${DOCKER_IMAGE}:${repo}-${BUILD_NUMBER} ."