projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
48653e7
)
Better support for building with mingw64; thanks to Nicolas Roche @ Altran for the...
author
Morgan Deters
<mdeters@cs.nyu.edu>
Fri, 11 Apr 2014 19:30:31 +0000
(15:30 -0400)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Fri, 11 Apr 2014 19:30:31 +0000
(15:30 -0400)
src/lib/clock_gettime.h
patch
|
blob
|
history
diff --git
a/src/lib/clock_gettime.h
b/src/lib/clock_gettime.h
index 43c3395a499b1bfd6e9abc10e41634c1979a33f3..8860e717b796ffb9743fd63c89ada74575ae2f1d 100644
(file)
--- a/
src/lib/clock_gettime.h
+++ b/
src/lib/clock_gettime.h
@@
-30,7
+30,7
@@
/* otherwise, we have to define it */
-#if defined(__WIN32__) && !defined(_
_WIN64__
)
+#if defined(__WIN32__) && !defined(_
W64
)
#ifdef __cplusplus
extern "C" {
@@
-45,12
+45,12
@@
struct timespec {
}/* extern "C" */
#endif /* __cplusplus */
-#else /* !__WIN32__ || _
_WIN64__
*/
+#else /* !__WIN32__ || _
W64
*/
/* get timespec from <time.h> */
#include <time.h>
-#endif /* __WIN32__ && !_
_WIN64__
*/
+#endif /* __WIN32__ && !_
W64
*/
#ifdef __cplusplus
extern "C" {