diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-11-01 09:40:37 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-11-09 15:31:56 +0000 |
| commit | c33beaa330bc8917249575b285f4a083dfe81922 (patch) | |
| tree | 9a92d586f554af47bf281757b837f17d65837bd3 /runtime/POSIX/fd_64.c | |
| parent | a5dafcf58bcbc5f3387169a8ea287fa57c0b0e32 (diff) | |
| download | klee-c33beaa330bc8917249575b285f4a083dfe81922.tar.gz | |
Compile fd_64.c file of POSIX runtime correctly on FreeBSD - append "64" suffix
to function names.
Diffstat (limited to 'runtime/POSIX/fd_64.c')
| -rw-r--r-- | runtime/POSIX/fd_64.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index 7691538f..eec41f11 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -15,6 +15,7 @@ #endif #endif +#define INSIDE_FD_64 #define _LARGEFILE64_SOURCE #define _FILE_OFFSET_BITS 64 #include "fd.h" |