From fe7740e6613e065658dd43e4b8a81504ee7bb2ea Mon Sep 17 00:00:00 2001 From: Marco Varlese Date: Thu, 25 Oct 2018 11:49:39 +0200 Subject: Address "is already installed" Jenkins issue Change-Id: Iad2ddf63116a6f477c6106a3e045fe36f34bc062 Signed-off-by: Marco Varlese --- build/external/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'build/external/Makefile') 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" -- cgit 1.2.3-korg