[LinuxPPS] [PATCH] time_pps_readlink()

[Udo van den Heuvel]

Udo van den Heuvel wrote:
> Rodolfo Giometti wrote:
> 
> [...]
>> You can use the attached patch or just upgrading your GIT repository
>> from my server and using branch "dev_time_pps_readlink".
> 
> So just a `git pull git://git.enneenne.com/linuxpps` is not enough?

`git pull git://git.enneenne.com/linuxpps dev_time_pps_readlink` appears
to do what is needed. So now I should build a fresh kernel.