* src/vm/rt-timing.h: Fixed position of #include "config.h".
authoredwin <none@none>
Sat, 13 Jan 2007 22:39:20 +0000 (22:39 +0000)
committeredwin <none@none>
Sat, 13 Jan 2007 22:39:20 +0000 (22:39 +0000)
(rt_timing_diff_usec): Export.

* src/vm/rt-timing.c (rt_timing_diff_usec): Export.

src/vm/rt-timing.c
src/vm/rt-timing.h

index fe6ed6d608b43408d5611aba28f3ade13abc1de0..c16fbe0fae3f6e377b6e669beae181a889f00667 100644 (file)
@@ -125,7 +125,7 @@ void rt_timing_gettime(struct timespec *ts)
        }
 }
 
-static long rt_timing_diff_usec(struct timespec *a,struct timespec *b)
+long rt_timing_diff_usec(struct timespec *a,struct timespec *b)
 {
        long diff;
        time_t atime;
index 6efcc3bdd18c9bd6af5373180217b774278f8ec7..432f656ee8b103d8edd2946bebcd214798438f62 100644 (file)
 #ifndef _RT_TIMING_H
 #define _RT_TIMING_H
 
+#include "config.h"
+
 #if defined(ENABLE_RT_TIMING)
 
-#include "config.h"
 #include "vm/types.h"
 
 #include <time.h>
@@ -111,6 +112,8 @@ void rt_timing_gettime(struct timespec *ts);
 
 void rt_timing_time_diff(struct timespec *a,struct timespec *b,int index);
 
+long rt_timing_diff_usec(struct timespec *a,struct timespec *b);
+
 void rt_timing_print_time_stats(FILE *file);
 
 #else /* !defined(ENABLE_RT_TIMING) */