From 7f7fe7daf7bea79864ff27246ca46db403efa80f Mon Sep 17 00:00:00 2001 From: Andreas Lauser Date: Tue, 1 Nov 2016 17:37:59 +0100 Subject: [PATCH] add ewoms to the list upstream modules for jenkins thanks goes to [at]akva2 for pointing this out... --- jenkins/build.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/jenkins/build.sh b/jenkins/build.sh index f785f1c8d..04158ebc5 100755 --- a/jenkins/build.sh +++ b/jenkins/build.sh @@ -7,7 +7,8 @@ upstreams=(opm-common opm-output opm-material opm-core - opm-grid) + opm-grid + ewoms) declare -A upstreamRev upstreamRev[opm-common]=master @@ -17,6 +18,7 @@ upstreamRev[opm-material]=master upstreamRev[opm-core]=master upstreamRev[opm-grid]=master upstreamRev[opm-output]=master +upstreamRev[ewoms]=master if grep -q "opm-common=" <<< $ghprbCommentBody then