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 44fd59d..beb26f7 100755 --- a/build/jenkins-build.sh +++ b/build/jenkins-build.sh @@ -8,7 +8,7 @@ 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` |