diff options
| author | Lei Zhang <antiagainst@gmail.com> | 2013-09-15 14:11:20 -0400 |
|---|---|---|
| committer | Lei Zhang <antiagainst@gmail.com> | 2013-12-08 09:21:26 -0500 |
| commit | 67bfeaa6f6cd9f46a1d5131ab0b831913922eb3d (patch) | |
| tree | c01c1b8d0b11a3f38c7a028abb7feb53fff2342d /include/klee/Config | |
| parent | 0efeb6c1826238fd732be11a94cc3403d78be8cc (diff) | |
| download | klee-67bfeaa6f6cd9f46a1d5131ab0b831913922eb3d.tar.gz | |
Add chroot jail support in klee-replay.
Diffstat (limited to 'include/klee/Config')
| -rw-r--r-- | include/klee/Config/config.h.in | 3 |
1 files changed, 3 insertions, 0 deletions
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 |