1 files changed, 1 insertions, 0 deletions
diff --git a/gpsdctl.c b/gpsdctl.c
index a3346d47..bc2daa94 100644
--- a/gpsdctl.c
+++ b/gpsdctl.c
@@ -100,6 +100,7 @@ int main(int argc, char *argv[])
 	if (optenv != NULL)
 	    gpsd_options = optenv;
 
+	/* coverity[string_size] */]
 	if (gpsd_control(argv[1], argv[2]) < 0)
 	    exit(1);
 	else