diff options
| author |   Dave Barach <dave@barachs.net> | 2020-01-07 12:29:10 -0500 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2020-01-07 12:29:39 -0500 |
| commit | 5c944eef7012e7c5b363399ed92966fb659196b7 (patch) | |
| tree | 74e6d7e0df806081d085406faa55440f8bd6513e /extras/vagrant/env.sh | |
| parent | a9ed934745403461834b4361f06bd3865682f368 (diff) | |
vlib: fix coverity warning / real bug
The path must be next-to-impossible to hit, because the code has been
wrong for at least 5 years.
Type: fix
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I23b8c4e1631827e7931f353c561c1e19c596c598
Diffstat (limited to 'extras/vagrant/env.sh')
0 files changed, 0 insertions, 0 deletions