diff options
| author |   Mohsin Kazmi <sykazmi@cisco.com> | 2020-02-24 15:54:24 +0100 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2020-03-02 09:15:12 +0000 |
| commit | 516e4ed668705bdf0fc138f29275db8c152d19f5 (patch) | |
| tree | 94bd373a89cb59243fcd126972c7552294ee4d8e /extras/vagrant/update.sh | |
| parent | b29d523af039ac007238300a7316ba9e3e44ce25 (diff) | |
virtio: fix the coverity warning
Type: fix
Change-Id: Ia75edb74eb7c746dd4c66bdbff75efb949575ce4
Signed-off-by: Mohsin Kazmi <sykazmi@cisco.com>
Diffstat (limited to 'extras/vagrant/update.sh')
0 files changed, 0 insertions, 0 deletions