diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 25 | 
1 files changed, 25 insertions, 0 deletions
| diff --git a/Jenkinsfile b/Jenkinsfile index 290f412..3812aca 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -44,5 +44,30 @@ pipeline {  			}  		}  		//////////////////////////////////////////////////// +		stage('Windows msvc') { +			agent { label 'win10 && msvc' } +			environment +			{ +				VSDEVCMD="C:\\Program Files (x86)\\Microsoft Visual Studio\\2022\\BuildTools\\Common7\\Tools\\VsDevCmd.bat" +			} +			steps { +				echo 'Cleaning workspace ...' +				bat 'git clean -d -x -f' +				dir ('build/test') { +					writeFile file:'dummy', text:'' +				} +				bat '"%VSDEVCMD%" && bootstrap.bat && snot.exe' +				echo 'Testing (msvc) ...' +				bat 'snot.exe check' +			} +			post { +				always { +					xunit(thresholds: [ skipped(failureThreshold: '0'), +					                    failed(failureThreshold: '0') ], +					      tools: [ CppUnit(pattern: 'build/test/*.xml') ]) +				} +			} +		} +		////////////////////////////////////////////////////  	}  } | 
