diff options
author | vagrant <vagrant@localhost.localdomain> | 2019-01-21 15:13:44 +0000 |
---|---|---|
committer | vagrant <vagrant@localhost.localdomain> | 2019-01-21 15:13:44 +0000 |
commit | 94d1e4b289d9e9ffbf69826337ea05e2a3bb0101 (patch) | |
tree | 545f29daae971de09185101ed937c2b81e03b179 | |
parent | 53695bd509b06de9f0564ceec43b4e5b669fa135 (diff) | |
download | regularization-94d1e4b289d9e9ffbf69826337ea05e2a3bb0101.tar.gz regularization-94d1e4b289d9e9ffbf69826337ea05e2a3bb0101.tar.bz2 regularization-94d1e4b289d9e9ffbf69826337ea05e2a3bb0101.tar.xz regularization-94d1e4b289d9e9ffbf69826337ea05e2a3bb0101.zip |
echo version
-rwxr-xr-x | build/jenkins-build.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/jenkins-build.sh b/build/jenkins-build.sh index beb26f7..d0e9c96 100755 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -8,11 +8,11 @@ else #export CIL_VERSION=0.10.4 #get tag, remove first char ('v') and leave rest export CIL_VERSION=`git describe --tags | tail -c +2` - if [[ $CIL_VERSION == *"-"* ]]; then + if [[ ${CIL_VERSION} == *"-"* ]]; then # detected dash means that it is dev version # version is then string-string and all after second dash is ignored (usually commit sha) - export CIL_VERSION=`echo $C1 | cut -d "-" -f -2` - echo Building dev version + export CIL_VERSION=`echo ${CIL_VERSION} | cut -d "-" -f -2` + echo Building dev version ${CIL_VERSION} else echo Defining version from last git tag and commit: $CIL_VERSION fi |