blob: d1fd6cb64bf36a5c1da3d6c9b2e997460a44c6d9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#include <mlvalues.h>
#include <alloc.h>
#include "unixsupport.h"
#ifdef HAS_GETTIMEOFDAY
#include <sys/types.h>
#include <sys/time.h>
value unix_gettimeofday() /* ML */
{
struct timeval tp;
if (gettimeofday(&tp, NULL) == -1) uerror("gettimeofday", Nothing);
return copy_double((double) tp.tv_sec + (double) tp.tv_usec / 1e6);
}
#else
value unix_gettimeofday() { invalid_argument("gettimeofday not implemented"); }
#endif
|