diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2013-11-12 17:05:27 -0500 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2013-11-12 17:05:27 -0500 |
| commit | 8eb7514a020463ffda56654de516095141ca63d3 (patch) | |
| tree | a1894b82185c438e1252a5e53ab11b9f54fdef63 /monitor_ubx.c | |
| parent | d9b6b5f4b9a7dcb8f37250a0f2c51629c3f26993 (diff) | |
| download | gpsd-8eb7514a020463ffda56654de516095141ca63d3.tar.gz | |
splint cleanup.
Diffstat (limited to 'monitor_ubx.c')
| -rw-r--r-- | monitor_ubx.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/monitor_ubx.c b/monitor_ubx.c index b6d4443b..378339ef 100644 --- a/monitor_ubx.c +++ b/monitor_ubx.c @@ -251,13 +251,15 @@ static void ubx_update(void) } #ifdef PPS_ENABLE + /*@-compdef@*/ + /*@-type@*/ /* splint is confused about struct timespec */ if (pps_thread_lastpps(&session, &drift) > 0) { - /*@-type@*/ /* splint is confused about struct timespec */ double timedelta = timespec_diff_ns(drift.real, drift.clock) * 1e-9; - /*@+type@*/ (void)mvwprintw(ppswin, 1, 13, "%.9f", timedelta); - wnoutrefresh(ppswin); + (void)wnoutrefresh(ppswin); } + /*@+type@*/ + /*@+compdef@*/ #endif /* PPS_ENABLE */ } |