Compile separate version of fd files for 3.2 as well.

august782 · Oct 11, 2013 · 310ce83 · 310ce83
1 parent bda5951
commit 310ce83
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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"