diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/tools/download_install_vpp_pkgs.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/tools/download_install_vpp_pkgs.sh b/resources/tools/download_install_vpp_pkgs.sh index 713f05abd6..cb1f692c66 100755 --- a/resources/tools/download_install_vpp_pkgs.sh +++ b/resources/tools/download_install_vpp_pkgs.sh @@ -24,10 +24,11 @@ REPO="fd.io.master.ubuntu.trusty.main" GROUP="io.fd.vpp" ARTIFACTS="vpp vpp-dbg vpp-dev vpp-dpdk-dev vpp-dpdk-dkms vpp-lib vpp-plugins" PACKAGE="deb deb.md5" +CLASS="deb" for ART in ${ARTIFACTS}; do for PAC in $PACKAGE; do - curl "${URL}?r=${REPO}&g=${GROUP}&a=${ART}&p=${PAC}&v=${VER}" -O -J || exit + curl "${URL}?r=${REPO}&g=${GROUP}&a=${ART}&p=${PAC}&v=${VER}&c=${CLASS}" -O -J || exit done done |