[gpsd-dev] [PATCH 0/7] gpsmon: PPS monitoring

[Beat Bolli]

This is the rest of my PPS monitoring patches plus assorted fallout.
Feel free to change what is logged in pps_report(); I didn't quite know
what is appropriate.

Thanks,

Beat Bolli (7):
  Fix two splint annotations.
  Typo fixes.
  ppsthread: clarify the description.
  gpsmon: log the file name instead of its FILE *
  gpsmon: serialize output to the packetwin.
  gpsmon: refactor gpsd_report().
  gpsmon: unconditionally log the PPS reports to the packet window.

 gpsmon.c       | 88 +++++++++++++++++++++++++++++++++++++++++++++-------------
 libgpsd_core.c |  4 +--
 ppsthread.c    | 15 +++++-----
 3 files changed, 79 insertions(+), 28 deletions(-)

-- 
1.8.4.rc3