More Coverity suppressions.

Also, remove our custom scan script, I'm going to publish a more
polished version.

1 files changed, 1 insertions, 1 deletions

diff --git a/ntpshm.c b/ntpshm.c
index bb41e348..3d08e128 100644
--- a/ntpshm.c
+++ b/ntpshm.c
@@ -912,7 +912,7 @@ static /*@null@*/ void *gpsd_ppsmonitor(void *arg)
     }
     gpsd_report(LOG_PROG, "PPS gpsd_ppsmonitor exited???\n");
     /* pacify Coverity - falling through here is theoretically a handle leak */
-    if (chronyfd)
+    if (chronyfd != -1)
 	(void)close(chronyfd);
     return NULL;
 }