summaryrefslogtreecommitdiff
path: root/libgpsd_core.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2015-02-12 12:32:52 -0500
committerEric S. Raymond <esr@thyrsus.com>2015-02-12 12:32:52 -0500
commit55d0fbeb9862f69893ea17ba00767834d5a3a4af (patch)
treee1aeee5a88cecb005f6c100a532d2823e6649df9 /libgpsd_core.c
parent3b26aed0b6a6dd607e4b63138c2102d1e6754441 (diff)
downloadgpsd-55d0fbeb9862f69893ea17ba00767834d5a3a4af.tar.gz
splint cleanup. All regression tests pass.
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r--libgpsd_core.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c
index 47ce3014..8402b739 100644
--- a/libgpsd_core.c
+++ b/libgpsd_core.c
@@ -1679,7 +1679,9 @@ void ntpshm_latch(struct gps_device_t *device, struct timedrift_t /*@out@*/*td)
/*@+type@*/
/* thread-safe update */
+ /*@-compdef@*/
pps_thread_stash_fixtime(device, device->newdata.time, td->clock);
+ /*@+compdef@*/
}
#endif /* NTPSHM_ENABLE */