[klee] r146353 - /klee/trunk/tools/gen-random-bout/gen-random-bout.cpp

[Cristian Cadar]

Author: cristic
Date: Sun Dec 11 16:22:55 2011
New Revision: 146353

URL: http://llvm.org/viewvc/llvm-project?rev=146353&view=rev
Log:
Patch by Ben Gras for MINIX: no stat64 under MINIX.

Modified:
    klee/trunk/tools/gen-random-bout/gen-random-bout.cpp

Modified: klee/trunk/tools/gen-random-bout/gen-random-bout.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/tools/gen-random-bout/gen-random-bout.cpp?rev=146353&r1=146352&r2=146353&view=diff
==============================================================================
--- klee/trunk/tools/gen-random-bout/gen-random-bout.cpp (original)
+++ klee/trunk/tools/gen-random-bout/gen-random-bout.cpp Sun Dec 11 16:22:55 2011
@@ -9,7 +9,7 @@
 
 #include "klee/Internal/ADT/KTest.h"
 
-#ifdef __FreeBSD__
+#if defined(__FreeBSD__) || defined(__minix)
 #define stat64 stat
 #endif