From c5f0c6cc660f1f4a8051db2aac3b8afc17818e70 Mon Sep 17 00:00:00 2001
From: Nikhil Benesch <benesch@users.noreply.github.com>
Date: Sun, 13 Aug 2017 21:30:15 -0700
Subject: [PATCH] compile with correct flags to determine SSE4.2 support

Summary:
With some compilers, `-std=c++11` is necessary for <cstdint> to be
available. Pass this flag via $PLATFORM_CXXFLAGS. Fixes #2488.
Closes https://github.com/facebook/rocksdb/pull/2545

Differential Revision: D5620610

Pulled By: yiwu-arbug

fbshipit-source-id: 2f975b8c1ad52e283e677d9a33543abd064f13ce
---
 build_tools/build_detect_platform | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_tools/build_detect_platform b/build_tools/build_detect_platform
index d040f21f5..c7ddb7cce 100755
--- a/build_tools/build_detect_platform
+++ b/build_tools/build_detect_platform
@@ -458,7 +458,7 @@ elif test -z "$PORTABLE"; then
   fi
 fi
 
-$CXX $COMMON_FLAGS -x c++ - -o /dev/null 2>/dev/null <<EOF
+$CXX $PLATFORM_CXXFLAGS $COMMON_FLAGS -x c++ - -o /dev/null 2>/dev/null <<EOF
   #include <cstdint>
   #include <nmmintrin.h>
   int main() {