| # 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 | |
| minor=4 | |
| minor=0 | |
| 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 |