diff --git a/jenkins/build-opm-module.sh b/jenkins/build-opm-module.sh index b07e7359a..a626baa87 100755 --- a/jenkins/build-opm-module.sh +++ b/jenkins/build-opm-module.sh @@ -198,7 +198,7 @@ function build_module_full { mkdir -p $configuration/build-$1 cd $configuration/build-$1 echo "Building main module $1=$sha1 configuration=$configuration" - build_module "-DCMAKE_INSTALL_PREFIX=$WORKSPACE/$configuration/install" 1 $WORKSPACE + build_module "-DCMAKE_INSTALL_PREFIX=$WORKSPACE/$configuration/install -DOPM_DATA_ROOT=$OPM_DATA_ROOT" 1 $WORKSPACE test $? -eq 0 || exit 1 popd