diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2013-11-06 08:46:00 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2013-11-06 08:46:00 -0500 |
commit | 93978bfd989fe620068e30ed5462bd64449d1040 (patch) | |
tree | 41709fb09c20d3a3acc264c3a53c7c243f34dd0a /gpsmon.c | |
parent | 61dc6385ea25570b02559886658a2e1284b389e6 (diff) | |
download | gpsd-93978bfd989fe620068e30ed5462bd64449d1040.tar.gz |
splint cleanup.
Diffstat (limited to 'gpsmon.c')
-rw-r--r-- | gpsmon.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -846,8 +846,10 @@ static /*@observer@*/ char *pps_report(struct gps_device_t *session UNUSED, * Read access to timedelta is not thread-locked. * Instead we're relying on access to floats to be atomic. */ + /*@-type@*/ /* splint is confused about struct timespec */ timedelta = td->real.tv_sec - td->clock.tv_sec; timedelta += (td->real.tv_nsec - td->clock.tv_nsec) / 1e9; + /*@+type@*/ packet_log("-------------------------------------" " PPS " "-------------------------------------\n"); |