diff --git a/jenkins/linux/Jenkinsfile b/jenkins/linux/Jenkinsfile index 614210b5..319a9049 100644 --- a/jenkins/linux/Jenkinsfile +++ b/jenkins/linux/Jenkinsfile @@ -5,6 +5,7 @@ pipeline { stages { stage('Environment') { steps { + load 'jenkins/shared/env.gy' sh 'make vcpkg' } } diff --git a/jenkins/shared/env.gy b/jenkins/shared/env.gy new file mode 100644 index 00000000..13e11d30 --- /dev/null +++ b/jenkins/shared/env.gy @@ -0,0 +1 @@ +env.OX_NODEBUG = 1