diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 67ac0fdb17e..2fa0a0ea60c 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -153,6 +153,8 @@ pipeline {
                                         STATUS = 'Failed'
                                         error("Failed to build global-workflow on ${Machine}")
                                     }
+                                    STATUS = 'Failed'
+                                        error("Failed to build global-workflow on ${Machine} and no error.logs file found")
                                 }
                                 sh(script: './link_workflow.sh')
                             }