diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-10-11 15:37:32 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-10-11 15:37:32 +0100 |
| commit | 310ce83f0d04830a0f80c6a98febbfe87195f37d (patch) | |
| tree | f8da24cdcfbdc35f205786da65a77037ae4d0651 /runtime/POSIX/fd_32.c | |
| parent | bda5951b4234fa67a75431162e5edc4acbb4af8b (diff) | |
| download | klee-310ce83f0d04830a0f80c6a98febbfe87195f37d.tar.gz | |
Compile separate version of fd files for 3.2 as well.
Diffstat (limited to 'runtime/POSIX/fd_32.c')
| -rw-r--r-- | runtime/POSIX/fd_32.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/POSIX/fd_32.c b/runtime/POSIX/fd_32.c index 13195fbf..389d7ae8 100644 --- a/runtime/POSIX/fd_32.c +++ b/runtime/POSIX/fd_32.c @@ -18,7 +18,7 @@ #endif #include "klee/Config/Version.h" -#if defined(ENV32) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 3)) +#if defined(ENV32) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 2)) #define _LARGEFILE64_SOURCE #include "fd.h" |