diff --git a/Jenkinsfile b/Jenkinsfile
index 6526e1b0d..81186c7dc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,7 @@
 node {
 
+	agent any
+	
 	tools{
         maven "Maven-3.3.9"
         jdk "JAVA_HOME"