diff options
Diffstat (limited to 'runtime/POSIX/fd_64.c')
| -rw-r--r-- | runtime/POSIX/fd_64.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index c84599ff..268579c0 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -15,7 +15,9 @@ #endif #endif -#ifdef ENV64 + +#include "klee/Config/Version.h" +#if defined(ENV64) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 3)) #define _LARGEFILE64_SOURCE #define _FILE_OFFSET_BITS 64 #include "fd.h" |