diff options
Diffstat (limited to 'vpp-api')
| -rw-r--r-- | vpp-api/python/pneum/test_pneum.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vpp-api/python/pneum/test_pneum.c b/vpp-api/python/pneum/test_pneum.c index 49107197f88..62f4a7446d4 100644 --- a/vpp-api/python/pneum/test_pneum.c +++ b/vpp-api/python/pneum/test_pneum.c @@ -106,8 +106,11 @@ int main (int argc, char ** argv) /* Construct the API message */ M_NOALLOC(SHOW_VERSION, show_version); pneum_write((char *)mp, sizeof(*mp)); +#ifndef __COVERITY__ + /* As given, async is always 1. Shut up Coverity about it */ if (!async) while (result_ready == 0); +#endif } if (async) { vl_api_control_ping_t control; |