diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2019-10-30 14:08:13 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2019-10-30 14:08:13 +0000 |
| commit | 20ec57433f27e98556968c90af418042bc101287 (patch) | |
| tree | a20de2e64c7319bbfeb741660483adef2b34dd7e /jjb | |
| parent | f562a62db765dec91e30e758c856f2e2cdcf8910 (diff) | |
| parent | 40eea7f26ca7c1b2ee7854ca54b916bb8d6ddfe2 (diff) | |
Merge "VPP: ping maven wagon 2.10"
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> |