diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-12-11 09:05:26 -0800 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-12-11 09:05:26 -0800 |
| commit | a45df61f6641ed0f6b92919bf377ce2ef1f1d839 (patch) | |
| tree | 0eaeba63fc853334f703a8807bae47ca5b8f3232 /include | |
| parent | 02fa9e4d83a04f50cb1ad24b543a2fd5002fa2f3 (diff) | |
| parent | 67bfeaa6f6cd9f46a1d5131ab0b831913922eb3d (diff) | |
| download | klee-a45df61f6641ed0f6b92919bf377ce2ef1f1d839.tar.gz | |
Merge pull request #31 from antiAgainst/chroot-replay
Chroot replay feature
Diffstat (limited to 'include')
| -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 a751bc07..0a94de8f 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 |