diff --git a/jenkinsfile/Jenkinsfile b/jenkinsfile/Jenkinsfile index c18272adadbf9d7d69a902a9290eb3a80bf2662f..de3996cb7c66c5185bcff1778e60d1aaadd07605 100644 --- a/jenkinsfile/Jenkinsfile +++ b/jenkinsfile/Jenkinsfile @@ -16,10 +16,11 @@ pipeline { orchent depls > depls.output if cat depls.output | grep -q ERROR then + echo "orchent depls: NOT ok" cat depls.output exit 1 else - echo "orchent ok" + echo "orchent depls: ok" exit 0 fi '''