manage Jenkinsfile(#57)

2021-02-25 17:49:33 +09:00
parent 7cc8c59d0b
commit e015a0f1b6
1 changed files with 3 additions and 1 deletions
@@ -13,8 +13,10 @@ pipeline {
 				}
 				stage("validation"){
 					steps{
 						sh 'tools/validate/includeGuard.sh'
 					}
 				}
 				stages{
 					stage("prepare"){