diff --git a/jenkins.sh b/jenkins.sh
index ed3bdf80fab82f2966d81a4b5c5121611451e109..359fd22771123c15f1e24848fbb01a690570b88c 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