diff options
| author |   Andrew Grimberg <agrimberg@linuxfoundation.org> | 2016-04-29 18:11:22 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2016-04-29 18:11:22 +0000 |
| commit | 66974da6d38670f60a1334a4e3435402923856ef (patch) | |
| tree | ff459cb3e6ec54411f364c39649257fb2e77460b | |
| parent | db87147b322b30a5fd2a26d4e9cdace0444126cc (diff) | |
| parent | d31f3a595f131d38134e1957bd9caefca319fe61 (diff) | |
Merge "Use build.sh for vpp build"
| -rw-r--r-- | jjb/vpp/include-raw-vpp-build.sh | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/jjb/vpp/include-raw-vpp-build.sh b/jjb/vpp/include-raw-vpp-build.sh index d4b6d748f..7ea6d6d59 100644 --- a/jjb/vpp/include-raw-vpp-build.sh +++ b/jjb/vpp/include-raw-vpp-build.sh @@ -11,18 +11,4 @@ else echo $CCACHE_DIR does not exist. This must be a new slave. fi -SUPPORTED="ubuntu1404 ubuntu1604 centos7" -declare -A DIST_TARGET -DIST_TARGET=( - [ubuntu1404]=install-deb - [ubuntu1604]=install-deb - [centos7]=install-rpm -) -if [[ ! ${SUPPORTED[*]} =~ ${OS} ]] -then - echo "Unrecognized OS: ${OS}. Please edit: https://gerrit.fd.io/r/gitweb?p=ci-management.git;a=blob;f=jjb/vpp/include-raw-vpp-build.sh;hb=HEAD" - exit 1 -fi -cd build-root/ -./bootstrap.sh -make PLATFORM=vpp V=0 TAG=vpp ${DIST_TARGET[${OS}]}
\ No newline at end of file +build-root/vagrant/build.sh |