diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 13:17:52 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 17:39:17 -0700 |
| commit | e01706cfb754aca4b2c1b2c15428115df46742be (patch) | |
| tree | 3afada02ecb349e16e437edc5fc424a5cedc75ed /autoconf/configure.ac | |
| parent | 74088fe829b78b5708975a2e7fbcf23ac3ae4c5e (diff) | |
| download | klee-e01706cfb754aca4b2c1b2c15428115df46742be.tar.gz | |
Do not require <sys/capability.h>, which is Linux specific.
Diffstat (limited to 'autoconf/configure.ac')
| -rw-r--r-- | autoconf/configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/autoconf/configure.ac b/autoconf/configure.ac index c1b1d2b8..54bc3d32 100644 --- a/autoconf/configure.ac +++ b/autoconf/configure.ac @@ -485,8 +485,8 @@ if test "x${have_cap}" = xyes; then AC_CHECK_HEADERS([sys/capability.h], [], [have_cap=no]) fi if test "x${have_cap}" = xno; then - AC_MSG_ERROR([Library cap and its header file sys/capability.h required for \ -klee-replay. Please install package libcap-dev/libcap-devel.]) + AC_MSG_WARN([Library cap and its header file sys/capability.h not found, disabling chroot \ +capability checking support for klee-replay.]) fi AC_LANG_POP([C]) |