From 4c5db2d0a30ac789c7b207c6d163db57d570bc9b Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 28 Sep 2018 10:31:26 +0200
Subject: [PATCH] [Jenkins] Fixed Sanitizer-job environment variable.
`$WORKSPACE` variable is correctly substituted when using double quotation marks.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 69cc3a86073..5bfab2576e0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -472,7 +472,7 @@ pipeline {
}
environment {
UBSAN_OPTIONS = 'print_stacktrace=1'
- LSAN_OPTIONS = 'suppressions=$WORKSPACE/scripts/test/leak_sanitizer.suppressions'
+ LSAN_OPTIONS = "suppressions=$WORKSPACE/scripts/test/leak_sanitizer.suppressions"
}
steps {
script {
--
GitLab