diff --git a/vagrant/Jenkinsfile b/vagrant/Jenkinsfile
index 599d024..951a46d 100644
--- a/vagrant/Jenkinsfile
+++ b/vagrant/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-	agent any
+	##agent none
+	##agent any
+	agent { label 'vagrant' }
 
 	##environment {
 	##	CC = 'gcc'
@@ -40,4 +42,10 @@ pipeline {
 			}
 		}
 	}
+
+	post {
+		success {
+			echo "SUCCESS!!!"
+		}
+	}
 }