diff options
author | 2019-04-13 03:23:04 +0200 | |
---|---|---|
committer | 2019-04-16 12:15:56 +0000 | |
commit | 01146bdb0fd1fdfd301f76145ebcccf7183ed2d3 (patch) | |
tree | 9c39353a8e5ba0626ef84e4382a4f6e0727343b4 /resources | |
parent | 5e0dafef80645ca39b18fb5accd27aee2e66af4e (diff) |
Use package location for apt-cache show command
Change-Id: I141baa77c78ec467a56fcafb86061efe198dca9d
Signed-off-by: Jan Gelety <jgelety@cisco.com>
(cherry picked from commit c4e29c78d3eaafc6e340390a2623d3fa55b54ea3)
Diffstat (limited to 'resources')
-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." } |