summaryrefslogtreecommitdiffstats
path: root/jjb
diff options
context:
space:
mode:
authorEd Kern <ejk@cisco.com>2018-04-30 08:55:09 -0600
committerEd Kern <ejk@cisco.com>2018-04-30 08:55:09 -0600
commitd3e6e6979ede51664796b8b6862f979ad0e384bf (patch)
tree8f8791e0943317534decea16bf2cc63ff3c1e725 /jjb
parentd39bbb6755e2af8a211eb323ee8bd9bcf93ee4ce (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>
Diffstat (limited to 'jjb')
-rw-r--r--jjb/vpp/include-raw-vpp-maven-push.sh13
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')