Jenkinsfile: Properly handle special cases for workspace paths.

This commit is contained in:
/dev/urandom 2016-10-11 23:10:31 +02:00
parent b0dabb8848
commit 4beab1ea12
No known key found for this signature in database
GPG Key ID: 41322B973E0F295E

2
Jenkinsfile vendored
View File

@ -71,7 +71,7 @@ import groovy.transform.Field
].collect {k, v -> [k, v]}
def jobWorkspace(id, f) {
ws("workspace/${env.JOB_NAME}@$id", f)
ws("workspace/${env.JOB_NAME.replaceAll(/[%$]/, "_")}@$id", f)
}
def useShippedPremake(f) {