diff --git a/Jenkinsfile b/Jenkinsfile index da7d0aa74e3ee5700738701c5e5daf61f8d38202..e19e672de0719acb6f3d62f9867096f5fe46a73e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -101,6 +101,7 @@ pipeline { } environment { OMP_NUM_THREADS = '1' + LD_LIBRARY_PATH = "$WORKSPACE/build/lib" } steps { script {