diff --git a/Jenkinsfile b/Jenkinsfile
index b3abae7d9..060115349 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -158,6 +158,7 @@ pipeline {
       }
     }
   }
+/*
   post {
     // If this build failed, send an email to the list.
     failure {
@@ -207,4 +208,5 @@ pipeline {
       }
     }
   }
+ */
 }