From 1d626952f9fac57b8febec6bfad14b059b4184d8 Mon Sep 17 00:00:00 2001
From: Vaclav Vobornik <git@vobornik.eu>
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 609cb5122..a3ad057ee 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"