Make definition of Abc_Clock work with MINGW32.

This commit is contained in:
Aaron Tomb 2013-11-04 14:25:55 -08:00
parent a0529ec5c8
commit cf1746e348
1 changed files with 1 additions and 1 deletions

View File

@ -272,7 +272,7 @@ static inline int Abc_Lit2LitL( int * pMap, int Lit ) { return Abc_LitNo
typedef ABC_INT64_T abctime;
static inline abctime Abc_Clock()
{
#if defined(LIN) || defined(LIN64) && !(__APPLE__ & __MACH__)
#if (defined(LIN) || defined(LIN64) && !(__APPLE__ & __MACH__)) && !defined(__MINGW32__)
struct timespec ts;
if ( clock_gettime(CLOCK_THREAD_CPUTIME_ID, &ts) < 0 )
return (abctime)-1;