diff --git a/dev-support/Jenkinsfile b/dev-support/Jenkinsfile
index 7dd41c41801..39fdacb4433 100644
--- a/dev-support/Jenkinsfile
+++ b/dev-support/Jenkinsfile
@@ -21,7 +21,7 @@ pipeline {
     }
   }
   triggers {
-    cron('@daily')
+    pollSCM('@daily')
   }
   options {
     buildDiscarder(logRotator(numToKeepStr: '15'))