summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile25
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') ])
+ }
+ }
+ }
+ ////////////////////////////////////////////////////
}
}