diff options
Diffstat (limited to 'resources/libraries')
-rw-r--r-- | resources/libraries/bash/function/artifacts.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/resources/libraries/bash/function/artifacts.sh b/resources/libraries/bash/function/artifacts.sh index fe300d164d..fc9c886a3b 100644 --- a/resources/libraries/bash/function/artifacts.sh +++ b/resources/libraries/bash/function/artifacts.sh @@ -86,7 +86,9 @@ function download_ubuntu_artifacts () { } if [ -z "${VPP_VERSION-}" ]; then # If version is not specified, find out the most recent version - VPP_VERSION=$(apt-cache --no-all-versions show vpp | grep Version: | \ + VPP_VERSION=$(apt-cache -o Dir::Etc::SourceList=${apt_fdio_repo_file} \ + -o Dir::Etc::SourceParts=${apt_fdio_repo_file} \ + --no-all-versions show vpp | grep Version: | \ cut -d " " -f 2) || { die "Retrieval of most recent VPP version failed." } |