diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2011-09-21 02:54:42 -0400 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2011-09-21 02:54:42 -0400 |
| commit | 419cb70ec3d762fede5746aa128176c9448f0a35 (patch) | |
| tree | 653e93daf6ccfd0d43ee9ed46a6cdeaf3dfad272 /gpsutils.c | |
| parent | fd4c61f4eefe8b10c486480cd96e4231618eebab (diff) | |
| download | gpsd-419cb70ec3d762fede5746aa128176c9448f0a35.tar.gz | |
splint cleanup.
Diffstat (limited to 'gpsutils.c')
| -rw-r--r-- | gpsutils.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -298,8 +298,8 @@ timestamp_t timestamp(void) timestamp_t realtimestamp(void) { struct timespec ts; - (void)clock_gettime(CLOCK_REALTIME, &ts); - return (timestamp_t)(ts.tv_sec + ts.tv_nsec * 1e-9); + /*@i2@*/(void)clock_gettime(CLOCK_REALTIME, &ts); + /*@i3@*/return (timestamp_t)(ts.tv_sec + ts.tv_nsec * 1e-9); } #endif /* TIMING_ENABLE */ |