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

---
 vagrant/Jenkinsfile | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/vagrant/Jenkinsfile b/vagrant/Jenkinsfile
index 951a46d..8758add 100644
--- a/vagrant/Jenkinsfile
+++ b/vagrant/Jenkinsfile
@@ -1,12 +1,12 @@
 pipeline {
-	##agent none
-	##agent any
+	//agent none
+	//agent any
 	agent { label 'vagrant' }
 
-	##environment {
-	##	CC = 'gcc'
-	##	BUILD_TYPE = 'xxxx'
-	##}
+	//environment {
+	//	CC = 'gcc'
+	//	BUILD_TYPE = 'xxxx'
+	//}
 
 	stages {
 
@@ -21,8 +21,8 @@ pipeline {
 		stage('Test') {
 			steps {
 				echo "Testing the virtual machine built"
-				## TODO run the internal test script to check the internal aspect of the machine
-				## TODO run the external test scripts to test the machine over the network
+				// TODO run the internal test script to check the internal aspect of the machine
+				// TODO run the external test scripts to test the machine over the network
 			}
 		}	
 
@@ -35,10 +35,10 @@ pipeline {
 			}
 			steps {
 				echo "Publishing the virtual machine built"
-				## TODO clean up before packaging
+				// TODO clean up before packaging
 				sh "make package"
-				## TODO copy the final artifacts to an artifact repository
-				##sh "make clean"	
+				// TODO copy the final artifacts to an artifact repository
+				// sh "make clean"	
 			}
 		}
 	}