Merge branch 'dzenanz-gettimeofday'

vfonov · vfonov · commit a608a1bce2ac · 2024-04-03T13:46:00.000-04:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -156,7 +156,7 @@ CHECK_FUNCTION_EXISTS(srand48   HAVE_SRAND48)
 CHECK_FUNCTION_EXISTS(drand48   HAVE_DRAND48)
 CHECK_FUNCTION_EXISTS(sleep     HAVE_SLEEP)
 
-CHECK_FUNCTION_EXISTS(gettimeofday  HAVE_GETTIMEOFDAY)
+CHECK_SYMBOL_EXISTS(gettimeofday "sys/time.h" HAVE_GETTIMEOFDAY)
 
 CHECK_LIBRARY_EXISTS(rt clock_gettime "time.h" HAVE_CLOCK_GETTIME_RT)
 
