aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPieter Wuille <pieter.wuille@gmail.com>2013-06-22 10:05:18 -0700
committerPieter Wuille <pieter.wuille@gmail.com>2013-06-22 10:05:18 -0700
commit48628fd98c587a557c9b3dc9eefed1bd5d20725e (patch)
tree928c5b56b53e9296da802a1ce716ab247211d80c
parentcccd17a1b28357380c785a2366ab21771705ea71 (diff)
parent1d626952f9fac57b8febec6bfad14b059b4184d8 (diff)
Merge pull request #2765 from vobornik/master
recognize Debian kFreeBSD port by build_detect_platform script
-rwxr-xr-xsrc/leveldb/build_detect_platform6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/leveldb/build_detect_platform b/src/leveldb/build_detect_platform
index 609cb51224..a3ad057eee 100755
--- a/src/leveldb/build_detect_platform
+++ b/src/leveldb/build_detect_platform
@@ -94,6 +94,12 @@ case "$TARGET_OS" in
PLATFORM_LIBS="-lpthread"
PORT_FILE=port/port_posix.cc
;;
+ GNU/kFreeBSD)
+ PLATFORM=OS_KFREEBSD
+ COMMON_FLAGS="$MEMCMP_FLAG -D_REENTRANT -DOS_KFREEBSD"
+ PLATFORM_LIBS="-lpthread"
+ PORT_FILE=port/port_posix.cc
+ ;;
NetBSD)
PLATFORM=OS_NETBSD
COMMON_FLAGS="$MEMCMP_FLAG -D_REENTRANT -DOS_NETBSD"