From e270de559d8af72e2d5fc9d94dee66e4fb00b101 Mon Sep 17 00:00:00 2001 From: Arne Morten Kvarving Date: Wed, 17 Dec 2025 12:58:32 +0100 Subject: [PATCH] separate cloning from building in jenkins pipeline --- jenkins/build.sh | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/jenkins/build.sh b/jenkins/build.sh index 47bfe6d5c8..cfa051ad5a 100755 --- a/jenkins/build.sh +++ b/jenkins/build.sh @@ -21,9 +21,8 @@ declare -a downstreams declare -A downstreamRev # Clone opm-common -pushd . mkdir -p $WORKSPACE/deps/opm-common -cd $WORKSPACE/deps/opm-common +pushd $WORKSPACE/deps/opm-common git init . git remote add origin https://github.com/OPM/opm-common git fetch --depth 1 origin ${upstreamRev[opm-common]}:branch_to_build @@ -33,12 +32,11 @@ popd source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh -# Add a link so scripts can find opm-simulators in a uniform way -ln -sf $WORKSPACE $WORKSPACE/deps/opm-simulators - parseRevisions printHeader opm-simulators +clone_repositories opm-simulators + # Setup opm-data source $WORKSPACE/deps/opm-common/jenkins/setup-opm-tests.sh