From c5b55f1fe3aed3f39bf09564424eab4f895d6f56 Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Tue, 5 Jul 2011 00:23:36 -0400
Subject: splint cleanup.

---
 gpsdctl.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'gpsdctl.c')

diff --git a/gpsdctl.c b/gpsdctl.c
index b82cad58..5b943c57 100644
--- a/gpsdctl.c
+++ b/gpsdctl.c
@@ -62,6 +62,7 @@ static int gpsd_control(char *action, char *argument)
      * gpsd.c. Be careful about keeping them in sync, or hotplugging
      * will have mysterious failures.
      */
+    /*@ -sefparams @*/
     if (strcmp(action, "add") == 0) {
 	/*
 	 * Force the group-read & group-write bits on, so gpsd will still be
@@ -79,6 +80,7 @@ static int gpsd_control(char *action, char *argument)
 	ignore_return(write(connect, buf, strlen(buf)));
 	ignore_return(read(connect, buf, 12));
     }
+    /*@ +sefparams @*/
     (void)close(connect);
     //syslog(LOG_DEBUG, "gpsd_control ends");
     return 0;
-- 
cgit v1.2.1