diff options
| -rw-r--r-- | tools/gen-random-bout/gen-random-bout.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp index 2132f646..46f662dd 100644 --- a/tools/gen-random-bout/gen-random-bout.cpp +++ b/tools/gen-random-bout/gen-random-bout.cpp @@ -9,7 +9,7 @@ #include "klee/Internal/ADT/KTest.h" -#ifdef __FreeBSD__ +#if defined(__FreeBSD__) || defined(__minix) #define stat64 stat #endif |