diff options
author | Dave Barach <dave@barachs.net> | 2017-12-01 10:24:28 -0500 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2017-12-01 16:57:29 +0000 |
commit | 7a64019a768438cfca4cc9e34d9d8e4c34f54d47 (patch) | |
tree | c10ffc8c01ac39a5ea825404151d639e6974b7cc /src/vppinfra | |
parent | 0b26bd78cfe62897d2926f64b4acc42f961975e7 (diff) |
Coverity warning be gone
Change-Id: I0946c0a124f3fc9a0aa87499a35edfeaabaec932
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra')
-rw-r--r-- | src/vppinfra/maplog.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vppinfra/maplog.c b/src/vppinfra/maplog.c index 3664364a9e1..94cc9ac11a8 100644 --- a/src/vppinfra/maplog.c +++ b/src/vppinfra/maplog.c @@ -86,7 +86,7 @@ clib_maplog_init (clib_maplog_main_t * mm, char *file_basename, return rv; fail: - if (fd) + if (fd >= 0) (void) close (fd); for (i = 0; i < 2; i++) |