build: vpp-ext-deps .rpm may not be installed 46/20446/1
authorDave Barach <dave@barachs.net>
Mon, 1 Jul 2019 23:08:33 +0000 (19:08 -0400)
committerDave Barach <dave@barachs.net>
Mon, 1 Jul 2019 23:08:58 +0000 (19:08 -0400)
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>
build/external/Makefile

index d178f0d..e5dff3c 100644 (file)
@@ -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 "=========================================================="