From: Marco Varlese <marco.varlese@suse.com>
Date: Thu, 25 Oct 2018 09:49:39 +0000 (+0200)
Subject: Address "is already installed" Jenkins issue
X-Git-Tag: v19.04-rc0~531
X-Git-Url: https://gerrit.fd.io/r/gitweb?p=vpp.git;a=commitdiff_plain;h=fe7740e6613e065658dd43e4b8a81504ee7bb2ea

Address "is already installed" Jenkins issue

Change-Id: Iad2ddf63116a6f477c6106a3e045fe36f34bc062
Signed-off-by: Marco Varlese <marco.varlese@suse.com>
---

diff --git a/build/external/Makefile b/build/external/Makefile
index 1082cfc1c39..a1352a69cbf 100644
--- a/build/external/Makefile
+++ b/build/external/Makefile
@@ -112,7 +112,7 @@ build-rpm: $(DEV_RPM)
 install-rpm:
 ifneq ($(INSTALLED_RPM_VER),$(RPM_VER)-$(PKG_SUFFIX))
 	@$(MAKE) $(DEV_RPM)
-	sudo rpm -Uih $(DEV_RPM)
+	sudo rpm -Uih --force $(DEV_RPM)
 else
 	@echo "=========================================================="
 	@echo " Up-to-date DPDK package already installed"