From e01706cfb754aca4b2c1b2c15428115df46742be Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 12 Sep 2014 13:17:52 -0700
Subject: Do not require <sys/capability.h>, which is Linux specific.

---
 autoconf/configure.ac | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'autoconf')

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])
-- 
cgit 1.4.1