From fe2f286b4d2406b1731e49e2653d0a3cd078ab41 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 6 Mar 2020 19:42:24 +0000 Subject: stat64 is deprecated on macOS; use stat instead --- tools/gen-bout/gen-bout.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/gen-bout/gen-bout.cpp b/tools/gen-bout/gen-bout.cpp index 17a65993..1fe5e698 100644 --- a/tools/gen-bout/gen-bout.cpp +++ b/tools/gen-bout/gen-bout.cpp @@ -18,7 +18,7 @@ #include "klee/Internal/ADT/KTest.h" -#if defined(__FreeBSD__) || defined(__minix) +#if defined(__FreeBSD__) || defined(__minix) || defined(__APPLE__) #define stat64 stat #endif -- cgit 1.4.1