diff --git a/Jenkinsfile b/Jenkinsfile index 69cc3a8607386c345a7ef71ce3a1827a3adf537e..5bfab2576e0200c2b609b92656dc87243c95e57f 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 {