Allow Jenkins to specify between dev and release builds for maven
This commit is contained in:
parent
2fba1efae0
commit
5387770fa6
|
@ -27,6 +27,9 @@ group = package_group
|
|||
archivesBaseName = mod_name
|
||||
version = "${mc_version}-${mod_version}-${build_number}"
|
||||
|
||||
if (project.hasProperty('gitpush'))
|
||||
version += "-ss"
|
||||
|
||||
import org.ajoberstar.grgit.*
|
||||
|
||||
ext.repo = Grgit.open(project.file('.'))
|
||||
|
|
Loading…
Reference in a new issue