From 310ce83f0d04830a0f80c6a98febbfe87195f37d Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 11 Oct 2013 15:37:32 +0100 Subject: Compile separate version of fd files for 3.2 as well. --- runtime/POSIX/fd_32.c | 2 +- runtime/POSIX/fd_64.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'runtime/POSIX') 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" diff --git a/runtime/POSIX/fd_64.c b/runtime/POSIX/fd_64.c index 2178ad14..21a986aa 100644 --- a/runtime/POSIX/fd_64.c +++ b/runtime/POSIX/fd_64.c @@ -17,7 +17,7 @@ #include "klee/Config/Version.h" -#if defined(ENV64) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 3)) +#if defined(ENV64) || (LLVM_VERSION_CODE < LLVM_VERSION(3, 2)) #define _LARGEFILE64_SOURCE #define _FILE_OFFSET_BITS 64 #include "fd.h" -- cgit 1.4.1