From 5e3610cac7331e95cd76bec4fd5253ef743915cf Mon Sep 17 00:00:00 2001 From: xuegao Date: Fri, 4 Nov 2022 09:44:25 +0100 Subject: Dockerizing simulators Enable docker push and add version.properties for jenkins. Issue-ID: INT-2162 Signed-off-by: xuegao Change-Id: Id4fbb04a76dbdd43498228aecf66eddbc94a9dc9 --- pom.xml | 4 ++-- version.properties | 11 +++++++++++ 2 files changed, 13 insertions(+), 2 deletions(-) create mode 100644 version.properties diff --git a/pom.xml b/pom.xml index d88e593..fff3fd6 100644 --- a/pom.xml +++ b/pom.xml @@ -151,7 +151,7 @@ build - + diff --git a/version.properties b/version.properties new file mode 100644 index 0000000..7af8fca --- /dev/null +++ b/version.properties @@ -0,0 +1,11 @@ +########################################################### +# 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=0 +minor=0 +patch=1 +base_version=${major}.${minor}.${patch} +release_version=${base_version} +snapshot_version=${base_version}-SNAPSHOT -- cgit 1.2.3-korg