diff options
| author |   Ed Kern <ejk@cisco.com> | 2018-04-30 08:55:09 -0600 |
|---|---|---|
| committer | Ed Kern <ejk@cisco.com> | 2018-04-30 08:55:09 -0600 |
| commit | d3e6e6979ede51664796b8b6862f979ad0e384bf (patch) | |
| tree | 8f8791e0943317534decea16bf2cc63ff3c1e725 | |
| parent | d39bbb6755e2af8a211eb323ee8bd9bcf93ee4ce (diff) | |
VPP: add ubuntu1804 to maven push options
Have to call out new ubuntu specifically for maven
push script to deal with it properly.
Change-Id: Id012ae87acc997279612e5785df89c8e3362f82c
Signed-off-by: Ed Kern <ejk@cisco.com>
| -rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index 086258ed9..6ce3b2c06 100644 --- a/jjb/vpp/include-raw-vpp-maven-push.sh +++ b/jjb/vpp/include-raw-vpp-maven-push.sh @@ -23,6 +23,19 @@ if [ "${OS}" == "ubuntu1604" ]; then do push_deb "$i" done +elif [ "${OS}" == "ubuntu1804" ]; then + # Find the files + JARS=$(find . -type f -iname '*.jar') + DEBS=$(find . -type f -iname '*.deb') + for i in $JARS + do + push_jar "$i" + done + + for i in $DEBS + do + push_deb "$i" + done elif [ "${OS}" == "centos7" ]; then # Find the files RPMS=$(find . -type f -iname '*.rpm') |