From 3fe0a0b6fc3507d1c9f01a3e6d4d487c2c504efd Mon Sep 17 00:00:00 2001 From: TomasKulhanek Date: Fri, 7 Dec 2018 13:20:19 +0000 Subject: update version --- build/jenkins-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build') diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index b74c38d..0c397b1 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.2 + export CIL_VERSION=0.10.3 echo Defining version: $CIL_VERSION fi #cd CCPi-Regularisation-Toolkit # already there by jenkins -- cgit v1.2.3