From 310ce83f0d04830a0f80c6a98febbfe87195f37d Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 11 Oct 2013 15:37:32 +0100
Subject: Compile separate version of fd files for 3.2 as well.

---
 runtime/POSIX/fd_64.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime/POSIX/fd_64.c')

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