diff options
author | 2019-07-01 19:08:33 -0400 | |
---|---|---|
committer | 2019-07-01 19:08:58 -0400 | |
commit | b25284832656dc8671fa8e1dc62ce78bb50f7394 (patch) | |
tree | 3c6c970b9d11cd77e25a3b3fd3cb7b86d8d71c44 /doxygen | |
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>
Diffstat (limited to 'doxygen')
0 files changed, 0 insertions, 0 deletions