version.properties

   1 # Versioning variables
   2 # Note that these variables cannot be structured (e.g. : version.release or version.snapshot etc... )
   3 # because they are used in Jenkins, whose plug-in doesn't support
   4
   5 major=3
   6 minor=1
   7 patch=2
   8
   9 base_version=${major}.${minor}.${patch}
  10
  11 # Release must be completed with git revision # in Jenkins
  12 release_version=${base_version}
  13 snapshot_version=${base_version}-SNAPSHOT