diff options
author | Ole Troan <ot@cisco.com> | 2017-03-09 21:10:45 +0100 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2017-03-17 20:36:55 +0000 |
commit | ad0697a134926c8d9cff8ae2747c4c554811c9db (patch) | |
tree | cfd8d97309f3df9e2251c9febf883dd89d49464e /Makefile | |
parent | ed812458641e8805e98a5bb399248745bae5d6b7 (diff) |
PNEUM: Fix Coverity error (missing unlock).
Change-Id: I53433e89d06fbc95e160887517acafc1544e81b5
Signed-off-by: Ole Troan <ot@cisco.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions