commit f1cc17d78d5abdcdb766995a905e85e616a4bec2
author Christofer Dutz <christofer.dutz@c-ware.de> Fri Jan 24 11:15:55 2020 +0100
committer Christofer Dutz <christofer.dutz@c-ware.de> Fri Jan 24 11:15:55 2020 +0100
tree b47777979e96d3c287d82132e99842ac266fd1ee
parent fdaef2e8dbeeaae1aad923830051913b4b33b68f

- Commented out the email notification untill we find out how to not send failures if the build is skipped because nothing changed in the "tools" directory.

tools/Jenkinsfile

diff --git a/tools/Jenkinsfile b/tools/Jenkinsfile
index b6bdfe3..ed096fc 100644
--- a/tools/Jenkinsfile
+++ b/tools/Jenkinsfile
@@ -81,7 +81,7 @@
         }
     }
 
-    // Send out notifications on unsuccessful builds.
+/*    // Send out notifications on unsuccessful builds.
     post {
         // If this build failed, send an email to the list.
         failure {
@@ -136,6 +136,6 @@
                 }
             }
         }
-    }
+    }*/
 
 }