diff --git a/utils/Jenkinsfile b/utils/Jenkinsfile
index 8c9ff90f0657b93d2fdf56ac23dbacfd30448ac0..4bbe3bb21eefdfbef692a60512ca8302fa7ecffa 100644
--- a/utils/Jenkinsfile
+++ b/utils/Jenkinsfile
@@ -44,7 +44,11 @@ pipeline {
             '''
         }
         failure {
-            emailext body: '$DEFAULT_CONTENT', subject: '$DEFAULT_SUBJECT', to: '$DEFAULT_RECIPIENTS'
+            script {
+                if ( fileExists ('severity.json')) {
+                    emailext body: '$DEFAULT_CONTENT', subject: '$DEFAULT_SUBJECT', to: '$DEFAULT_RECIPIENTS'
+                }    
+            }    
         }
     }   
 }
\ No newline at end of file