diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-03-06 10:36:47 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2016-03-06 10:36:47 +0100 |
| commit | 253796d20214c0886cbc84fbabf0ba4bfd28a8db (patch) | |
| tree | abc0a627026a33ccbf6e2bfa58613edd8969debf /include | |
| parent | f244db54bfc37f5cc1d831f54c74e818e69bd28c (diff) | |
| parent | 45d8a085662f7689c0b6978cf2e33845f6095000 (diff) | |
| download | klee-253796d20214c0886cbc84fbabf0ba4bfd28a8db.tar.gz | |
Merge pull request #353 from lszekeres/selinux-fix
Fix SELinux signatures in runtime
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.in b/include/klee/Config/config.h.in index 9adf7306..008b2f90 100644 --- a/include/klee/Config/config.h.in +++ b/include/klee/Config/config.h.in @@ -69,6 +69,10 @@ /* Z3 needs a Z3_context passed to Z3_get_error_msg() */ #undef HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT +/* Define to empty or 'const' depending on how SELinux qualifies its security + context parameters. */ +#undef KLEE_SELINUX_CTX_CONST + /* LLVM version is release (instead of development) */ #undef LLVM_IS_RELEASE |