diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-06 19:42:24 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-17 14:32:35 +0000 |
| commit | fe2f286b4d2406b1731e49e2653d0a3cd078ab41 (patch) | |
| tree | aa89c16178765b3bd4a81d5bf7a5835193fb5a84 /tools | |
| parent | 25fefb66f987b94a0c4c4593d81260660028b2d2 (diff) | |
| download | klee-fe2f286b4d2406b1731e49e2653d0a3cd078ab41.tar.gz | |
stat64 is deprecated on macOS; use stat instead
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gen-bout/gen-bout.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 |