diff options
Diffstat (limited to 'resources/libraries')
| -rw-r--r-- | resources/libraries/bash/function/artifacts.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libraries/bash/function/artifacts.sh b/resources/libraries/bash/function/artifacts.sh index 426782d2ea..0a08d7311e 100644 --- a/resources/libraries/bash/function/artifacts.sh +++ b/resources/libraries/bash/function/artifacts.sh @@ -88,7 +88,7 @@ function download_ubuntu_artifacts () { packages=$(apt-cache -o Dir::Etc::SourceList=${apt_fdio_repo_file} \ -o Dir::Etc::SourceParts=${apt_fdio_repo_file} dumpavail \ - | grep Package: | cut -d " " -f 2) || { + | grep Package: | cut -d " " -f 2 | grep vpp) || { die "Retrieval of available VPP packages failed." } if [ -z "${VPP_VERSION-}" ]; then |