From 15d169dd127b73a6bdd69f6f4d365591a4293a4a Mon Sep 17 00:00:00 2001
From: Gary Talent <gary@drinkingtea.net>
Date: Fri, 12 Mar 2021 00:38:11 -0600
Subject: [PATCH] [nostalgia/jenkins] Add shared environment var file

---
 jenkins/linux/Jenkinsfile | 1 +
 jenkins/shared/env.gy     | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 jenkins/shared/env.gy

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