diff options
Diffstat (limited to 'resources/tools')
| -rwxr-xr-x | resources/tools/download_hc_build_pkgs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/tools/download_hc_build_pkgs.sh b/resources/tools/download_hc_build_pkgs.sh index 3847c4ab1c..312d9f3353 100755 --- a/resources/tools/download_hc_build_pkgs.sh +++ b/resources/tools/download_hc_build_pkgs.sh @@ -23,7 +23,7 @@ OS=$2 # Download the latest VPP and VPP plugin .deb packages URL="https://nexus.fd.io/service/local/artifact/maven/content" VER="LATEST" -REPO="fd.io.${STREAM}.ubuntu.trusty.main" +REPO="fd.io.${STREAM}.${OS}" VPP_GROUP="io.fd.vpp" NSH_GROUP="io.fd.nsh_sfc" VPP_ARTIFACTS="vpp vpp-dbg vpp-dev vpp-dpdk-dev vpp-dpdk-dkms vpp-lib vpp-plugins vpp-api-java" |