diff options
Diffstat (limited to 'resources/tools/scripts/download_hc_pkgs.sh')
| -rwxr-xr-x | resources/tools/scripts/download_hc_pkgs.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/resources/tools/scripts/download_hc_pkgs.sh b/resources/tools/scripts/download_hc_pkgs.sh index c8e9021178..a7b76a9635 100755 --- a/resources/tools/scripts/download_hc_pkgs.sh +++ b/resources/tools/scripts/download_hc_pkgs.sh @@ -31,17 +31,17 @@ if [ "${OS}" == "ubuntu1404" ]; then OS="ubuntu.trusty.main" PACKAGE="deb deb.md5" CLASS="deb" - VPP_ARTIFACTS="vpp vpp-dbg vpp-lib vpp-plugins" + VPP_ARTIFACTS="vpp vpp-lib vpp-plugins" elif [ "${OS}" == "ubuntu1604" ]; then OS="ubuntu.xenial.main" PACKAGE="deb deb.md5" CLASS="deb" - VPP_ARTIFACTS="vpp vpp-dbg vpp-lib vpp-plugins" + VPP_ARTIFACTS="vpp vpp-lib vpp-plugins" elif [ "${OS}" == "centos7" ]; then OS="centos7" PACKAGE="rpm rpm.md5" CLASS="" - VPP_ARTIFACTS="vpp vpp-debuginfo vpp-lib vpp-plugins" + VPP_ARTIFACTS="vpp vpp-lib vpp-plugins" fi REPO="fd.io.${STREAM}.${OS}" |