From 49c74a810a8b9d0eca204572d7e55f5df344c52e Mon Sep 17 00:00:00 2001
From: hyung-hwan <hyunghwan.chung@gmail.com>
Date: Sun, 29 Aug 2021 04:30:18 +0000
Subject: [PATCH] updated vagrant/Jenkinsfile to get rid  of make init(vagrant
 init)

---
 vagrant/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vagrant/Jenkinsfile b/vagrant/Jenkinsfile
index 8758add..b9847c7 100644
--- a/vagrant/Jenkinsfile
+++ b/vagrant/Jenkinsfile
@@ -13,7 +13,7 @@ pipeline {
 		stage('Build') {
 			steps {
 				echo "Building a virtual machine - ${env.BUILD_ID} on ${env.JENKINS_URL}"
-				sh "make init && make up"
+				sh "make up"
 			}
 		}