diff options
Diffstat (limited to 'jjb')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-docs.sh | 1 | ||||
| -rw-r--r-- | jjb/vpp/include-raw-vpp-make-test-docs.sh | 1 | ||||
| -rw-r--r-- | jjb/vpp/include-raw-vpp-sphinx-docs.sh | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/jjb/vpp/include-raw-vpp-docs.sh b/jjb/vpp/include-raw-vpp-docs.sh index c0bebf330..608f8f979 100644 --- a/jjb/vpp/include-raw-vpp-docs.sh +++ b/jjb/vpp/include-raw-vpp-docs.sh @@ -33,6 +33,7 @@ if [[ ${JOB_NAME} == *merge* ]]; then <extension> <groupId>org.apache.maven.wagon</groupId> <artifactId>wagon-webdav-jackrabbit</artifactId> + <version>2.10</version> </extension> </extensions> </build> diff --git a/jjb/vpp/include-raw-vpp-make-test-docs.sh b/jjb/vpp/include-raw-vpp-make-test-docs.sh index 6938cddbd..dca1998aa 100644 --- a/jjb/vpp/include-raw-vpp-make-test-docs.sh +++ b/jjb/vpp/include-raw-vpp-make-test-docs.sh @@ -32,6 +32,7 @@ if [[ ${JOB_NAME} == *merge* ]]; then <extension> <groupId>org.apache.maven.wagon</groupId> <artifactId>wagon-webdav-jackrabbit</artifactId> + <version>2.10</version> </extension> </extensions> </build> diff --git a/jjb/vpp/include-raw-vpp-sphinx-docs.sh b/jjb/vpp/include-raw-vpp-sphinx-docs.sh index 357e78078..e5b8cfd15 100644 --- a/jjb/vpp/include-raw-vpp-sphinx-docs.sh +++ b/jjb/vpp/include-raw-vpp-sphinx-docs.sh @@ -33,6 +33,7 @@ if [[ ${JOB_NAME} == *merge* ]]; then <extension> <groupId>org.apache.maven.wagon</groupId> <artifactId>wagon-webdav-jackrabbit</artifactId> + <version>2.10</version> </extension> </extensions> </build> |