From 67bfeaa6f6cd9f46a1d5131ab0b831913922eb3d Mon Sep 17 00:00:00 2001
From: Lei Zhang <antiagainst@gmail.com>
Date: Sun, 15 Sep 2013 14:11:20 -0400
Subject: Add chroot jail support in klee-replay.

---
 include/klee/Config/config.h.in | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'include')

diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in
index 4ce9714d..0f79e01d 100644
--- a/include/klee/Config/config.h.in
+++ b/include/klee/Config/config.h.in
@@ -33,6 +33,9 @@
 /* Define to 1 if you have the <sys/acl.h> header file. */
 #undef HAVE_SYS_ACL_H
 
+/* Define to 1 if you have the <sys/capability.h> header file. */
+#undef HAVE_SYS_CAPABILITY_H
+
 /* Define to 1 if you have the <sys/stat.h> header file. */
 #undef HAVE_SYS_STAT_H
 
-- 
cgit 1.4.1