diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-04-14 20:42:11 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-29 19:18:43 +0100 |
| commit | e5743af37903c32cc24180f80fe49072dbda88f6 (patch) | |
| tree | 1a5d2161a456258ab3938098fe6cd6a64546fd8d /tools | |
| parent | ff922213fd9fef1ceb09a22aa65720e275dfcdea (diff) | |
| download | klee-e5743af37903c32cc24180f80fe49072dbda88f6.tar.gz | |
Fix gen-random-bout to build on FreeBSD.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gen-random-bout/gen-random-bout.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp index b2f1e4f6..de1c6085 100644 --- a/tools/gen-random-bout/gen-random-bout.cpp +++ b/tools/gen-random-bout/gen-random-bout.cpp @@ -23,6 +23,7 @@ #if defined(__FreeBSD__) || defined(__minix) #define stat64 stat +#define fstat64 fstat #endif #define SMALL_BUFFER_SIZE 64 // To hold "arg<N>" string, temporary |