[PATCH] tune: fix spurious clock_gettime reference

[Torbjörn Granlund]

Mike Frysinger <vapier at gentoo.org> writes:

  ../gmp-mparam.h:1:1: error: unknown type name 'clock_gettime'
   clock_gettime is 1.000ns accurate
  
  This is because the tune source has one printf that is not protected
  by the verbose flag leading it to be written to the output.
  
Patch applied, thanks.

-- 
Torbjörn
Please encrypt, key id 0xC8601622