From 9675c4b1c76ce9a641ddda6c6d9064cd63c880d3 Mon Sep 17 00:00:00 2001
From: hyung-hwan <hyunghwan.chung@gmail.com>
Date: Sun, 29 Aug 2021 04:24:29 +0000
Subject: [PATCH] updated vagrant/Jenkinsfile

---
 vagrant/Jenkinsfile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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!!!"
+		}
+	}
 }