diff options
author | Jan Gelety <jgelety@cisco.com> | 2019-04-13 03:23:04 +0200 |
---|---|---|
committer | Jan Gelety <jgelety@cisco.com> | 2019-04-13 03:23:04 +0200 |
commit | c4e29c78d3eaafc6e340390a2623d3fa55b54ea3 (patch) | |
tree | feaea1a966f4a90113e8ab216248563a0da16360 /resources/libraries | |
parent | 89453b1635ccc6b21e6eec47c5310ef4c6345618 (diff) |
Use package location for apt-cache show command
Change-Id: I141baa77c78ec467a56fcafb86061efe198dca9d
Signed-off-by: Jan Gelety <jgelety@cisco.com>
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." } |