mirror of
https://github.com/plexusorg/Plex.git
synced 2024-12-22 17:17:37 +00:00
fix a few things
This commit is contained in:
parent
222eec2eac
commit
df87cd73fd
@ -89,13 +89,12 @@ static def getDate() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
ext {
|
ext {
|
||||||
buildAuthor = System.getenv("BUILD_NUMBER") != null ? System.getenv("BUILD_NUMBER") : getGitHash()
|
buildNumber = System.getenv("BUILD_NUMBER") != null ? System.getenv("BUILD_NUMBER") : getGitHash()
|
||||||
buildAuthor = System.getenv("JENKINS_URL") != null ? "jenkins" : "unknown"
|
|
||||||
}
|
}
|
||||||
|
|
||||||
task buildProperties {
|
task buildProperties {
|
||||||
ant.propertyfile(file: "$project.rootDir/src/main/resources/build.properties") {
|
ant.propertyfile(file: "$project.rootDir/src/main/resources/build.properties") {
|
||||||
entry(key: "buildAuthor", value: buildAuthor)
|
entry(key: "buildAuthor", default: System.getenv("JENKINS_URL") != null ? "jenkins" : "unknown")
|
||||||
entry(key: "buildNumber", value: buildNumber)
|
entry(key: "buildNumber", value: buildNumber)
|
||||||
entry(key: "buildDate", value: getDate())
|
entry(key: "buildDate", value: getDate())
|
||||||
entry(key: "buildHead", value: getGitHash())
|
entry(key: "buildHead", value: getGitHash())
|
||||||
|
Loading…
Reference in New Issue
Block a user