I believe that this bug regarding lack of timepps.h has been solved by the creation of the pps-tools Debian package: http://packages.qa.debian.org/p/pps-tools.html -- Kenyon Ralph
Attachment: signature.asc Description: Digital signature