ppscheck_timeout.patch - fixes infinite loop if time_pps_fetch() timed out.
ppscheck_devname.patch - fixes device name in output messages if -x,--seconds option is used.
Example (incorrect device name):
$ sudo ppscheck --seconds 3 /dev/pps0
INFO: ioctl(--seconds, TIOCMGET) failed: Inappropriate ioctl for device(25)
INFO: --seconds does not appear to be a tty
INFO: kpps_caps 0x1151
PPS_CAPTUREASSERT
PPS_CAPTUREBOTH
PPS_OFFSETASSERT
PPS_CANWAIT
PPS_ECHOASSERT
PPS_TSFMT_TSPEC
WARNING: missing PPS_CAPTURECLEAR, pulse may be offset
# Src Seconds Signal Sequence
KPPS 1715867905.116225661 assert 14976
KPPS 0.000000000 clear 0
KPPS 1715867906.116250331 assert 14977
KPPS 1715867906.941990981 assert 14978
-- Best regards,
Igor Moskovtsev
System programmer
Avtodoria LLC
ppscheck_devname.patch