diff --git a/thirdparty/src/leveldb/build_detect_platform b/thirdparty/src/leveldb/build_detect_platform index bb76c4f22..8f7f0309d 100755 --- a/thirdparty/src/leveldb/build_detect_platform +++ b/thirdparty/src/leveldb/build_detect_platform @@ -190,6 +190,11 @@ EOF COMMON_FLAGS="$COMMON_FLAGS -DLEVELDB_PLATFORM_POSIX" fi +</dev/null </dev/null <