diff --git a/windows/toku_time.c b/windows/toku_time.c index 4be858a9f7a..d64eb854e39 100644 --- a/windows/toku_time.c +++ b/windows/toku_time.c @@ -47,10 +47,3 @@ clock_gettime(clockid_t clockid, toku_timespec_t *ts) { return -1; } -char * -ctime_r(const time_t *timep, char *buf) { - int r = ctime_s(buf, 26, timep); - assert(r == 0); - return buf; -} - diff --git a/windows/toku_time.h b/windows/toku_time.h index c2eef5047cc..887b70b4df4 100644 --- a/windows/toku_time.h +++ b/windows/toku_time.h @@ -30,8 +30,6 @@ static inline float toku_tdiff (struct timeval *a, struct timeval *b) { return (a->tv_sec - b->tv_sec) +1e-6*(a->tv_usec - b->tv_usec); } -char * ctime_r(const time_t *timep, char *buf); - #ifdef __cplusplus }; #endif