00001
00002
00003
00004
00005 #ifndef TIME_H_INCLUDED
00006 #define TIME_H_INCLUDED
00007
00008 #include "typedefs.h"
00009
00011 namespace miniini_private
00012 {
00013 #ifdef MINIINI_BENCH_EXTRA
00014 #ifdef linux
00015 #include <sys/time.h>
00016 inline ld GetTime()
00017 {
00018 timeval tv;
00019 gettimeofday(&tv, 0);
00020 return tv.tv_sec + (static_cast<ld>(tv.tv_usec) / 1000000);
00021 }
00022 #endif
00023 #endif
00024 }
00026 #endif