diff --git a/Jenkinsfile b/Jenkinsfile
index 012299967..4c5b6b1e6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -165,7 +165,6 @@ pipeline {
       }
     }
   }
-/*
   post {
     // If this build failed, send an email to the list.
     failure {
@@ -215,5 +214,4 @@ pipeline {
       }
     }
   }
- */
 }