diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Config/config.h.cmin | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin index 50ccf3fd..f0c3f629 100644 --- a/include/klee/Config/config.h.cmin +++ b/include/klee/Config/config.h.cmin @@ -13,6 +13,9 @@ /* Using Z3 Solver backend */ #cmakedefine ENABLE_Z3 @ENABLE_Z3@ +/* Define if fstatat() accepts NULL as pathname argument. */ +#cmakedefine FSTATAT_PATH_ACCEPTS_NULL 1 + /* Does the platform use __ctype_b_loc, etc. */ #cmakedefine HAVE_CTYPE_EXTERNALS @HAVE_CTYPE_EXTERNALS@ |