diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-06-09 17:20:36 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-06-09 17:20:36 +0000 |
commit | 118a367a32aaffed506a8b90678a421184202604 (patch) | |
tree | 5d13d52f73dcf3704e130fdd7ba3df945f3b55cb /klee/tools | |
parent | d3c9654a9fa5ffee1f77a531a0b10b7483b88f0f (diff) |
Patch from arrowdodger for fixing FreeBSD build..
Diffstat (limited to 'klee/tools')
-rw-r--r-- | klee/tools/gen-random-bout/gen-random-bout.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/klee/tools/gen-random-bout/gen-random-bout.cpp b/klee/tools/gen-random-bout/gen-random-bout.cpp index 0a65bda2252..2132f646263 100644 --- a/klee/tools/gen-random-bout/gen-random-bout.cpp +++ b/klee/tools/gen-random-bout/gen-random-bout.cpp @@ -9,6 +9,10 @@ #include "klee/Internal/ADT/KTest.h" +#ifdef __FreeBSD__ +#define stat64 stat +#endif + // --sym-args 0 1 10 --sym-args 0 2 2 --sym-files 1 8 --sym-stdout static int getint(char *i) { if(!i) { |