From 1970a2479364e18619e895455ce8198f6b7bb0f1 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sun, 11 Dec 2011 22:22:55 +0000 Subject: 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 --- tools/gen-random-bout/gen-random-bout.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit 1.4.1