Updated jenkins file

2018-08-09 21:42:58 +02:00
parent 2500127eaa
commit 824562d18b
1 changed files with 2 additions and 1 deletions
@@ -6,7 +6,7 @@ pipeline {
 			steps {
 				echo "Hello World"
 			}
-			
+			/*
 			stages {
 				stage ('x86') {
 					agent {
@@ -93,6 +93,7 @@ pipeline {
 					}
 				}
 			}
 			*/
 		}
 	}
 }