fixed: over-zealous cut'n'paste

jenkins has already configured this git
OPM · Apr 4, 2016 · 58a7843 · 58a7843
1 parent ee3e662
commit 58a7843
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/jenkins/build-opm-parser.sh b/jenkins/build-opm-parser.sh
@@ -38,7 +38,6 @@ function build_opm_parser {
   popd
 
   # Build opm-parser
-  git checkout $OPM_PARSER_REVISION
   pushd .
   mkdir serial/build-opm-parser
   cd serial/build-opm-parser

diff --git a/jenkins/build.sh b/jenkins/build.sh
@@ -4,7 +4,6 @@ source `dirname $0`/build-opm-parser.sh
 
 ERT_REVISION=master
 OPM_COMMON_REVISION=master
-OPM_PARSER_REVISION=master
 
 build_opm_parser
 test $? -eq 0 || exit 1