summaryrefslogtreecommitdiff
path: root/klee/tools
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2011-06-09 17:20:36 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2011-06-09 17:20:36 +0000
commit118a367a32aaffed506a8b90678a421184202604 (patch)
tree5d13d52f73dcf3704e130fdd7ba3df945f3b55cb /klee/tools
parentd3c9654a9fa5ffee1f77a531a0b10b7483b88f0f (diff)
Patch from arrowdodger for fixing FreeBSD build..
Diffstat (limited to 'klee/tools')
-rw-r--r--klee/tools/gen-random-bout/gen-random-bout.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/klee/tools/gen-random-bout/gen-random-bout.cpp b/klee/tools/gen-random-bout/gen-random-bout.cpp
index 0a65bda2252..2132f646263 100644
--- a/klee/tools/gen-random-bout/gen-random-bout.cpp
+++ b/klee/tools/gen-random-bout/gen-random-bout.cpp
@@ -9,6 +9,10 @@
#include "klee/Internal/ADT/KTest.h"
+#ifdef __FreeBSD__
+#define stat64 stat
+#endif
+
// --sym-args 0 1 10 --sym-args 0 2 2 --sym-files 1 8 --sym-stdout
static int getint(char *i) {
if(!i) {