From a32145c272c3c5c13bec94256bbea2044e5d6f6f Mon Sep 17 00:00:00 2001 From: Arne Morten Kvarving Date: Wed, 14 Sep 2016 14:57:18 +0200 Subject: [PATCH] fixed: missed the passing of opm-data root for main module build --- jenkins/build-opm-module.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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