diff options
author | Pieter Wuille <pieter.wuille@gmail.com> | 2013-06-22 10:05:18 -0700 |
---|---|---|
committer | Pieter Wuille <pieter.wuille@gmail.com> | 2013-06-22 10:05:18 -0700 |
commit | 48628fd98c587a557c9b3dc9eefed1bd5d20725e (patch) | |
tree | 928c5b56b53e9296da802a1ce716ab247211d80c | |
parent | cccd17a1b28357380c785a2366ab21771705ea71 (diff) | |
parent | 1d626952f9fac57b8febec6bfad14b059b4184d8 (diff) |
Merge pull request #2765 from vobornik/master
recognize Debian kFreeBSD port by build_detect_platform script
-rwxr-xr-x | src/leveldb/build_detect_platform | 6 |
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" |