diff options
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index dfda5723..8a125cca 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -93,10 +93,10 @@ pipeline { sh """ ./configure \ - --build-by ${params.BUILD_BY} \ + --build-by "${params.BUILD_BY}" \ --debian-mirror http://deb.debian.org/debian/ \ --build-type release \ - --version ${params.BUILD_VERSION} ${CUSTOM_PACKAGES} + --version "${params.BUILD_VERSION}" ${CUSTOM_PACKAGES} sudo make iso """ |