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