diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-12-11 22:22:55 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-12-11 22:22:55 +0000 |
| commit | 1d9b466c284e24891546f9f1b518ddc98b5ae2f0 (patch) | |
| tree | e3d4c50b6bc72a2f8e81d1f6337d6829722e36df /klee/tools | |
| parent | 0c1d5b47e31d3631c22c48dc3b54f2e10ba1766e (diff) | |
Patch by Ben Gras for MINIX: no stat64 under MINIX.
Diffstat (limited to 'klee/tools')
| -rw-r--r-- | klee/tools/gen-random-bout/gen-random-bout.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/klee/tools/gen-random-bout/gen-random-bout.cpp b/klee/tools/gen-random-bout/gen-random-bout.cpp index 2132f646263..46f662ddd3e 100644 --- a/klee/tools/gen-random-bout/gen-random-bout.cpp +++ b/klee/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 |