diff options
| author |   Dave Barach <dave@barachs.net> | 2019-07-01 19:08:33 -0400 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2019-07-01 19:08:58 -0400 |
| commit | b25284832656dc8671fa8e1dc62ce78bb50f7394 (patch) | |
| tree | 3c6c970b9d11cd77e25a3b3fd3cb7b86d8d71c44 | |
| parent | 7910feb5af2f29e9c6ccfe220917a79e925946cc (diff) | |
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 <dave@barachs.net>
| -rw-r--r-- | build/external/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 "==========================================================" |