dvbinfo: add coverity hint.

7f8c1519 · Jean-Paul Saman · 9b892414 · 7f8c1519
Commit 7f8c1519 authored Dec 24, 2014 by Jean-Paul Saman
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

examples/dvbinfo/libdvbpsi.c examples/dvbinfo/libdvbpsi.c +1 -0

No files found.
--- a/examples/dvbinfo/libdvbpsi.c
+++ b/examples/dvbinfo/libdvbpsi.c
@@ -314,6 +314,7 @@ mtime_t mdate(void)
    if (gettimeofday(&tv, NULL) < 0)
    {
        fprintf(stderr, "gettimeofday() error: %s\n", strerror(errno));
+	/* coverity [+kill} */
        abort();
    }