diff options
Diffstat (limited to 'build/jenkins-build.sh')
| -rwxr-xr-x | build/jenkins-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index 4a18525..c660c02 100755 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -22,7 +22,7 @@ if [[ -n ${CIL_VERSION} ]] then echo Using defined version: $CIL_VERSION else - export CIL_VERSION=0.10.3 + export CIL_VERSION=0.10.4 echo Defining version: $CIL_VERSION fi #cd CCPi-Regularisation-Toolkit # already there by jenkins |