diff options
| author |   Ed Kern <ejk@cisco.com> | 2018-09-20 12:56:34 -0600 |
|---|---|---|
| committer | Ed Kern <ejk@cisco.com> | 2018-09-20 13:02:44 -0600 |
| commit | 6812d99b81f52ddb81b68d672f3364f584b7166e (patch) | |
| tree | 7e72e2cc9c481aa67daee62502aab94e96eb8cd5 /jjb/scripts/cleanup_vpp_plugin_dev_env.sh | |
| parent | 480602ad57206b0d047b880124e0eead0b7a6a39 (diff) | |
VPP: dev-contrib to ext-debs
Sync to final naming on external dep packaging
deps not debs
Change-Id: I0e222f2e943be26bdd2959c1fd5e11d4c06f08b2
Signed-off-by: Ed Kern <ejk@cisco.com>
Diffstat (limited to 'jjb/scripts/cleanup_vpp_plugin_dev_env.sh')
| -rw-r--r-- | jjb/scripts/cleanup_vpp_plugin_dev_env.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jjb/scripts/cleanup_vpp_plugin_dev_env.sh b/jjb/scripts/cleanup_vpp_plugin_dev_env.sh index 3ef26a79b..2fcdf7016 100644 --- a/jjb/scripts/cleanup_vpp_plugin_dev_env.sh +++ b/jjb/scripts/cleanup_vpp_plugin_dev_env.sh @@ -20,10 +20,10 @@ function cleanup { # Setup by installing vpp-dev and vpp-lib if [ $DISTRIB_ID == "Ubuntu" ]; then sudo rm -f /etc/apt/sources.list.d/99fd.io.list - sudo dpkg -r vpp-dev vpp-lib vpp-dev vpp-lib vpp vpp-dpdk-dev vpp-dpdk-dkms vpp-dbg vpp-dev-contrib + sudo dpkg -r vpp-dev vpp-lib vpp-dev vpp-lib vpp vpp-dpdk-dev vpp-dpdk-dkms vpp-dbg vpp-ext-deps elif [[ $DISTRIB_ID == "CentOS" ]]; then sudo rm -f /etc/yum.repos.d/fdio-master.repo - sudo yum -y remove vpp-devel vpp-lib vpp vpp-dev-contrib + sudo yum -y remove vpp-devel vpp-lib vpp vpp-ext-deps fi } |