ntpfrob/pps-api.c: unused parameter ‘device’ in function ppscheck(char *device)

Building the latest master ( after a git pull, .waf distclean and .waf configure) on Raspbian Jesse or Arch Linux on Rasberry Pi

Get the following warning:

[121/176] Compiling ntpfrob/pps-api.c
../ntpfrob/pps-api.c: In function 'ppscheck':
../ntpfrob/pps-api.c:62:21: warning: unused parameter 'device' [-Wunused-parameter]
 void ppscheck(char *device)
                     ^

[122/176] Compiling ntpfrob/tickadj.c