From: Dave Barach <dave@barachs.net>
Date: Mon, 1 Jul 2019 23:08:33 +0000 (-0400)
Subject: build: vpp-ext-deps .rpm may not be installed
X-Git-Tag: v20.01-rc0~281
X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=b25284832656dc8671fa8e1dc62ce78bb50f7394;p=vpp.git

build: vpp-ext-deps .rpm may not be installed

It's fine to remove the old .rpm, but don't stop the parade if there
wasn't an old .rpm to remove.

Type: fix

Change-Id: I500c740cc4ded16d3345c1e98462a1e8533f1028
Signed-off-by: Dave Barach <dave@barachs.net>
---

diff --git a/build/external/Makefile b/build/external/Makefile
index d178f0d8305..e5dff3c43e5 100644
--- a/build/external/Makefile
+++ b/build/external/Makefile
@@ -121,7 +121,7 @@ build-rpm: $(DEV_RPM)
 install-rpm:
 ifneq ($(INSTALLED_RPM_VER),$(RPM_VER)-$(PKG_SUFFIX))
 	@$(MAKE) $(DEV_RPM)
-	sudo rpm -e vpp-ext-deps
+	sudo rpm -e vpp-ext-deps || true
 	sudo rpm -Uih --force $(DEV_RPM)
 else
 	@echo "=========================================================="