[patch] tuneup-clock-gettime.patch

tuneup-clock-gettime.patch (text/plain), 418 bytes, created by Conrad Kostecki on 2016-11-17 23:07:25 UTC

--- a/gmp-6.1.1/tune/time.c	2016-06-18 22:00:00.000000000 +0200
+++ b/gmp-6.1.1/tune/time.c	2016-11-17 23:37:35.719888131 +0100
@@ -774,8 +774,8 @@
     }
 
   cgt_unittime = unit.tv_sec + unit.tv_nsec * 1e-9;
-  printf ("clock_gettime is %s accurate\n",
-	  unittime_string (cgt_unittime));
+  /* printf ("clock_gettime is %s accurate\n",
+	  unittime_string (cgt_unittime)); */
 
   if (cgt_unittime < 10e-9)
     {