diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-11-24 16:31:33 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-11-24 16:31:33 +0100 |
commit | 794ae6fb64e89175b40288369011f4fc51e0ac53 (patch) | |
tree | 3e0d562f15ae2e2ecbbfc4388a2010c7597d47bf /test/spass/clock.h | |
parent | 6fb31c8a00e67f5a91983fe92f6df95d5f54a0c1 (diff) | |
download | compcert-794ae6fb64e89175b40288369011f4fc51e0ac53.tar.gz compcert-794ae6fb64e89175b40288369011f4fc51e0ac53.zip |
Use gettimeofday() instead of obsolete ftime().
(Patch by Daniel Dickman.)
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); |