From 1d626952f9fac57b8febec6bfad14b059b4184d8 Mon Sep 17 00:00:00 2001 From: Vaclav Vobornik Date: Wed, 12 Jun 2013 14:46:16 +0200 Subject: [PATCH] Added GNU/kFreeBSD kernel name (TARGET_OS) uname -s returns "GNU/kFreeBSD" on Debian GNU/kFreeBSD port. See http://www.debian.org/ports/kfreebsd-gnu/ --- src/leveldb/build_detect_platform | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/leveldb/build_detect_platform b/src/leveldb/build_detect_platform index 609cb512..a3ad057e 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"