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 /build-root/vagrant | |
| 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 'build-root/vagrant')
0 files changed, 0 insertions, 0 deletions