diff options
| author | vagrant <vagrant@localhost.localdomain> | 2019-01-21 15:11:34 +0000 |
|---|---|---|
| committer | vagrant <vagrant@localhost.localdomain> | 2019-01-21 15:11:34 +0000 |
| commit | 53695bd509b06de9f0564ceec43b4e5b669fa135 (patch) | |
| tree | 4ff1d2b5106097ae1907487cb02ab22f08a35881 | |
| parent | be48430f8de0ccb8e64abba4f00c771228ff0df0 (diff) | |
| download | regularization-53695bd509b06de9f0564ceec43b4e5b669fa135.tar.gz regularization-53695bd509b06de9f0564ceec43b4e5b669fa135.tar.bz2 regularization-53695bd509b06de9f0564ceec43b4e5b669fa135.tar.xz regularization-53695bd509b06de9f0564ceec43b4e5b669fa135.zip | |
typo
| -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` |