about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2011-12-11 22:22:55 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2011-12-11 22:22:55 +0000
commit1970a2479364e18619e895455ce8198f6b7bb0f1 (patch)
tree987f2841d9a3838df351511ba9888029e6f74367
parente856cc0ecdbfa7f0f07c459af2a2f3ed5a8f7515 (diff)
downloadklee-1970a2479364e18619e895455ce8198f6b7bb0f1.tar.gz
Patch by Ben Gras for MINIX: no stat64 under MINIX.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146353 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--tools/gen-random-bout/gen-random-bout.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gen-random-bout/gen-random-bout.cpp b/tools/gen-random-bout/gen-random-bout.cpp
index 2132f646..46f662dd 100644
--- a/tools/gen-random-bout/gen-random-bout.cpp
+++ b/tools/gen-random-bout/gen-random-bout.cpp
@@ -9,7 +9,7 @@
 
 #include "klee/Internal/ADT/KTest.h"
 
-#ifdef __FreeBSD__
+#if defined(__FreeBSD__) || defined(__minix)
 #define stat64 stat
 #endif