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)
commitb25284832656dc8671fa8e1dc62ce78bb50f7394
tree3c6c970b9d11cd77e25a3b3fd3cb7b86d8d71c44
parent7910feb5af2f29e9c6ccfe220917a79e925946cc
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>
build/external/Makefile