From cefc1bb92f5a2b39ca5812914292431dfc44d8c3 Mon Sep 17 00:00:00 2001 From: Arne Morten Kvarving Date: Tue, 29 Nov 2016 21:47:42 +0100 Subject: [PATCH] update jenkins upstream list opm-grid moved in the dependency graph --- jenkins/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/build.sh b/jenkins/build.sh index 04158ebc5..98b192087 100755 --- a/jenkins/build.sh +++ b/jenkins/build.sh @@ -6,8 +6,8 @@ upstreams=(opm-common opm-parser opm-output opm-material - opm-core opm-grid + opm-core ewoms) declare -A upstreamRev