summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDave Barach <dave@barachs.net>2019-07-01 19:08:33 -0400
committerDave Barach <dave@barachs.net>2019-07-01 19:08:58 -0400
commitb25284832656dc8671fa8e1dc62ce78bb50f7394 (patch)
tree3c6c970b9d11cd77e25a3b3fd3cb7b86d8d71c44
parent7910feb5af2f29e9c6ccfe220917a79e925946cc (diff)
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>
-rw-r--r--build/external/Makefile2
1 files changed, 1 insertions, 1 deletions
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 "=========================================================="