diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-11-27 15:37:32 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-11-27 15:37:32 +0100 |
commit | 56690956f52349c3398b3de6f8ec3987501e9034 (patch) | |
tree | 5fc98e863bb41018084b2110f0ae950189a7b7d6 /test/spass/clock.h | |
parent | 853a40b117495ebf883593633f680cd5c92f5951 (diff) | |
parent | c3b615f875ed2cf8418453c79c4621d2dc61b0a0 (diff) | |
download | compcert-56690956f52349c3398b3de6f8ec3987501e9034.tar.gz compcert-56690956f52349c3398b3de6f8ec3987501e9034.zip |
Merge branch 'master' into dwarf
Diffstat (limited to 'test/spass/clock.h')
-rw-r--r-- | test/spass/clock.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/spass/clock.h b/test/spass/clock.h index 6e675742..80f6c003 100644 --- a/test/spass/clock.h +++ b/test/spass/clock.h @@ -49,7 +49,7 @@ #include "misc.h" #include <sys/types.h> -#include <sys/timeb.h> +#include <sys/time.h> typedef enum { clock_BACKTRACK, @@ -61,7 +61,7 @@ typedef enum { clock_TYPESIZE } CLOCK_CLOCKS; -typedef struct timeb CLOCK_TMS; +typedef struct timeval CLOCK_TMS; void clock_Init(void); void clock_InitCounter(CLOCK_CLOCKS); |