diff options
| author |   raag8290 <romain.gimbert@orange.com> | 2018-04-09 16:23:03 +0200 |
|---|---|---|
| committer |   MatthieuGeerebaert <matthieu.geerebaert@orange.com> | 2018-04-10 15:00:16 +0200 |
| commit | 6817f5b502e38c46a9eaa107e00fc912d521695a (patch) | |
| tree | 0c5ef1a22c3e3c6e6210f974567e11995ad4b4e7 /version.properties | |
| parent | 858cfa7e58f6378cf0a1eeb35a6b94eabd63b0c0 (diff) | |
Add files for build and docker
- version.properties
- plugin docker
- application-docker.properties
- docker files
- ready
Change-Id: Ic6884b2df3d31518b70a5d2b8cd1a2fd94d73a15
Issue-ID: EXTAPI-49
Signed-off-by: romaingimbert <romain.gimbert@orange.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 0000000..d3e09bb --- /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=2 +patch=1 + +base_version=${major}.${minor}.${patch} + +# Release must be completed with git revision # in Jenkins +release_version=${base_version} +snapshot_version=${base_version}-SNAPSHOT |