Compare commits
1 Commits
fix-build
...
2315422d4f
| Author | SHA1 | Date | |
|---|---|---|---|
| 2315422d4f |
11
Jenkinsfile
vendored
11
Jenkinsfile
vendored
@@ -47,6 +47,7 @@ spec:
|
|||||||
options {
|
options {
|
||||||
buildDiscarder(logRotator(numToKeepStr: '10'))
|
buildDiscarder(logRotator(numToKeepStr: '10'))
|
||||||
timeout(time: 2, unit: 'HOURS')
|
timeout(time: 2, unit: 'HOURS')
|
||||||
|
timestamps()
|
||||||
}
|
}
|
||||||
|
|
||||||
stages {
|
stages {
|
||||||
@@ -70,18 +71,18 @@ spec:
|
|||||||
stage('Build Man Pages') {
|
stage('Build Man Pages') {
|
||||||
steps {
|
steps {
|
||||||
container('docker-cli') {
|
container('docker-cli') {
|
||||||
sh """
|
sh '''
|
||||||
# Create output directories
|
# Create output directories
|
||||||
mkdir -p ./html ./tmp
|
mkdir -p ./html ./tmp
|
||||||
|
|
||||||
# Run the container to build man pages
|
# Run the container to build man pages
|
||||||
docker run --rm \
|
docker run --rm \
|
||||||
-v "\$(pwd)/html:/app/html" \
|
-v "$(pwd)/html:/data/html" \
|
||||||
-v "\$(pwd)/tmp:/data/tmp" \
|
-v "$(pwd)/tmp:/data/tmp" \
|
||||||
rocky-man:${BUILD_NUMBER} \
|
rocky-man:${BUILD_NUMBER} \
|
||||||
--versions ${params.VERSIONS} \
|
--versions ${VERSIONS} \
|
||||||
--verbose
|
--verbose
|
||||||
"""
|
'''
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user