aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarco Varlese <marco.varlese@suse.com>2018-10-25 11:49:39 +0200
committerMarco Varlese <marco.varlese@suse.de>2018-10-25 11:35:16 +0000
commitfe7740e6613e065658dd43e4b8a81504ee7bb2ea (patch)
tree2e040c4a7546f6b078e3c1c1333516b92107a6a1
parent567e61d09cd00174203eff85f63a598420476951 (diff)
Address "is already installed" Jenkins issue
Change-Id: Iad2ddf63116a6f477c6106a3e045fe36f34bc062 Signed-off-by: Marco Varlese <marco.varlese@suse.com>
-rw-r--r--build/external/Makefile2
1 files changed, 1 insertions, 1 deletions
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"