diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2015-02-12 12:32:52 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2015-02-12 12:32:52 -0500 |
commit | 55d0fbeb9862f69893ea17ba00767834d5a3a4af (patch) | |
tree | e1aeee5a88cecb005f6c100a532d2823e6649df9 /libgpsd_core.c | |
parent | 3b26aed0b6a6dd607e4b63138c2102d1e6754441 (diff) | |
download | gpsd-55d0fbeb9862f69893ea17ba00767834d5a3a4af.tar.gz |
splint cleanup. All regression tests pass.
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r-- | libgpsd_core.c | 2 |
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 */ |