[LinuxPPS] suggestion

[Cirilo Bernardo]

On Fri, Sep 19, 2008 at 3:21 AM, Folkert van Heusden
<folkert at vanheusden.com> wrote:
> Hi,
>
> I would like to suggest to use:
>        #include "../../include/linux/pps.h"
> instead of
>        #include <linux/pps.h>
> in timepps.h as the files are located in the kernel source tree.
>
>
> Folkert van Heusden

That should not be necessary; the compiler's rules for finding header
files should work.  The header should not be in the kernel source tree
but the "scrubbed" kernel headers; those are headers which have
information needed by users but have most kernel internals removed.

- Cirilo