Dave Barach b252848326 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>

2019-07-01 19:08:58 -04:00

..

external

build: vpp-ext-deps .rpm may not be installed

2019-07-01 19:08:58 -04:00