Merge branch 'develop' of github.com:ripple/rippled into develop

2025-12-06 17:27:55 +00:00 · 2013-07-01 11:39:15 -07:00
parent 4e4e8c913d c1b18536f7
commit 78ad1904d2
1 changed files with 6 additions and 0 deletions
--- a/Subtrees/leveldb/build_detect_platform
+++ b/Subtrees/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"