blob: 53fea18fb9443e6044c12370f874e4bf8c2a3597 [file] [log] [blame]
#include "wtime.h"
#include <time.h>
#ifndef DOS
#include <sys/time.h>
#endif
void wtime(double *t)
{
static int sec = -1;
struct timeval tv;
gettimeofday(&tv, (void *)0);
if (sec < 0) sec = tv.tv_sec;
*t = (tv.tv_sec - sec) + 1.0e-6*tv.tv_usec;
}