From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 5 Sep 2018 03:40:32 +0000 (-0700)
Subject: Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)
X-Git-Tag: cvc5-1.0.0~4682
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f7dd482aa1cec323273d98fde724dc072471a5f7;p=cvc5.git

Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)
---

diff --git a/src/lib/clock_gettime.c b/src/lib/clock_gettime.c
index 680098c8d..b440b8d28 100644
--- a/src/lib/clock_gettime.c
+++ b/src/lib/clock_gettime.c
@@ -20,6 +20,8 @@
 
 #include "lib/clock_gettime.h"
 
+#ifndef HAVE_CLOCK_GETTIME
+
 #ifdef __cplusplus
 extern "C" {
 #endif /* __cplusplus */
@@ -83,3 +85,5 @@ long clock_gettime(clockid_t which_clock, struct timespec* tp) {
 #ifdef __cplusplus
 }/* extern "C" */
 #endif /* __cplusplus */
+
+#endif /* HAVE_CLOCK_GETTIME */