From b25284832656dc8671fa8e1dc62ce78bb50f7394 Mon Sep 17 00:00:00 2001 From: Dave Barach Date: Mon, 1 Jul 2019 19:08:33 -0400 Subject: 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 --- build/external/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build') 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 "==========================================================" -- cgit 1.2.3-korg