diff options
author | Dmitry Puzikov <dmitry.puzikov@tieto.com> | 2019-04-15 09:17:57 +0200 |
---|---|---|
committer | Dmitry Puzikov <dmitry.puzikov@tieto.com> | 2019-04-15 09:17:57 +0200 |
commit | 1b87e60b0f1ba5ab2eb45db4657c83d1d7b85fef (patch) | |
tree | e84087bfe2a9c464734da9a79d218f26abf8726d /version.properties | |
parent | c8e918d9c5945695f3f281717d683140c9d422b5 (diff) |
Fix lost version.properties file
Lost version.properites file causes
build failure.
Version set for 1.4.0
Change-Id: I58d6150a08da1432c5eca4f66397d7f51f730ca4
Issue-ID: INT-996
Signed-off-by: Dmitry Puzikov <dmitry.puzikov@tieto.com>
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/version.properties b/version.properties new file mode 100644 index 00000000..668657e9 --- /dev/null +++ b/version.properties @@ -0,0 +1,13 @@ +# Versioning variables +# Note that these variables cannot be structured (e.g. : version.release or version.snapshot etc... ) +# because they are used in Jenkins, whose plug-in doesn't support + +major=1 +minor=4 +patch=0 + +base_version=${major}.${minor}.${patch} + +# Release must be completed with git revision # in Jenkins +release_version=${base_version} +snapshot_version=${base_version}-SNAPSHOT |