From 9372a587e431293e491a2ec1939e4e6ce9cd65e1 Mon Sep 17 00:00:00 2001
From: Mike Ellery <mellery451@gmail.com>
Date: Thu, 25 Apr 2019 13:33:37 -0700
Subject: [PATCH] Request RocksDB PORTABLE build option

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ffcc5afe3..513eb3de6 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1333,7 +1333,7 @@ ExternalProject_Add (rocksdb
     -DWITH_TBB=OFF
     -DWITH_WINDOWS_UTF8_FILENAMES=OFF
     -DWITH_XPRESS=OFF
-    -DPORTABLE=OFF
+    -DPORTABLE=ON
     -DFORCE_SSE42=OFF
     -DDISABLE_STALL_NOTIF=OFF
     -DOPTDBG=ON