diff options
Diffstat (limited to 'jjb/vpp/include-raw-vpp-build.sh')
-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 |