Renamed in Jenkins scripts.

This commit is contained in:
Atgeirr Flø Rasmussen
2016-04-06 12:29:44 +02:00
parent 6cd1d28696
commit c00376e506
4 changed files with 10 additions and 10 deletions

View File

@@ -12,17 +12,17 @@ It is intended for post-merge builds of the master branch.
This script will build dependencies, then build opm-autodiff and execute its tests.
It inspects the $ghbPrBuildComment environmental variable to obtain a pull request
to use for ert, opm-common, opm-parser, opm-material, opm-core and
dune-cornerpoint (defaults to master) and then builds $sha1 of opm-autodiff.
opm-grid (defaults to master) and then builds $sha1 of opm-autodiff.
It is intended for pre-merge builds of pull requests.
You can optionally specify a given pull request to use for ert, opm-common,
opm-parser, opm-material, opm-core and dune-cornerpoint through the trigger.
opm-parser, opm-material, opm-core and opm-grid through the trigger.
The trigger line needs to contain ert=<pull request number> and/or
opm-common=<pull request number> and/or opm-parser=<pull request number>
and/or opm-material=<pull request number>
and/or opm-core=<pull request number>
and/or dune-cornerpoint=<pull request number>
and/or opm-grid=<pull request number>
and/or opm-output=<pull request number>.
**run-spe.sh**: