[patch] Another patch needed

gentoo-CLK_TCK.diff (text/plain), 612 bytes, created by Richard Lärkäng on 2006-06-16 01:00:50 UTC

--- guava2.7/src/leon/src/generate.c	2006-06-16 08:01:43.000000000 +0200
+++ guava2.7/src/leon/src/generate.c	2006-06-16 08:02:04.000000000 +0200
@@ -125,6 +125,10 @@
 #define CLK_TCK TICK
 #endif
 
+#ifndef CLK_TCK
+#define CLK_TCK CLOCKS_PER_SEC
+#endif
+
 #include "errmesg.h"
 #include "new.h"
 #include "readgrp.h"
--- guava2.7/src/leon/src/inform.c	2006-06-16 08:03:25.000000000 +0200
+++ guava2.7/src/leon/src/inform.c	2006-06-16 08:01:19.000000000 +0200
@@ -16,6 +16,10 @@
 #define CLK_TCK TICK
 #endif
 
+#ifndef CLK_TCK
+#define CLK_TCK CLOCKS_PER_SEC
+#endif
+
 #include "readgrp.h"
 
 CHECK( inform)