From f1dd03548f31be2e65e9c37550b5456f4510d52c Mon Sep 17 00:00:00 2001
From: Daniel Wagner-Hall <daniel@matrix.org>
Date: Tue, 23 Feb 2016 15:15:10 +0000
Subject: [PATCH] Set WORKSPACE if not set

---
 jenkins.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/jenkins.sh b/jenkins.sh
index ed3bdf80fa..359fd22771 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,5 +1,7 @@
 #!/bin/bash -eu
 
+: ${WORKSPACE:="$(pwd)"}
+
 export PYTHONDONTWRITEBYTECODE=yep
 
 # Output test results as junit xml