diff options
-rwxr-xr-x | resources/tools/scripts/download_hc_build_pkgs.sh | 6 | ||||
-rwxr-xr-x | resources/tools/scripts/download_hc_pkgs.sh | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/resources/tools/scripts/download_hc_build_pkgs.sh b/resources/tools/scripts/download_hc_build_pkgs.sh index 9be1c3a518..6261e2b7d6 100755 --- a/resources/tools/scripts/download_hc_build_pkgs.sh +++ b/resources/tools/scripts/download_hc_build_pkgs.sh @@ -30,17 +30,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-api-java" + VPP_ARTIFACTS="vpp vpp-lib vpp-plugins vpp-api-java" elif [ "${OS}" == "ubuntu1604" ]; then OS="ubuntu.xenial.main" PACKAGE="deb deb.md5" CLASS="deb" - VPP_ARTIFACTS="vpp vpp-dbg vpp-lib vpp-plugins vpp-api-java" + VPP_ARTIFACTS="vpp vpp-lib vpp-plugins vpp-api-java" elif [ "${OS}" == "centos7" ]; then OS="centos7" PACKAGE="rpm rpm.md5" CLASS="" - VPP_ARTIFACTS="vpp vpp-debuginfo vpp-lib vpp-plugins vpp-api-java" + VPP_ARTIFACTS="vpp vpp-lib vpp-plugins vpp-api-java" fi REPO="fd.io.${STREAM}.${OS}" 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}" |