Request RocksDB PORTABLE build option

This commit is contained in:
Mike Ellery
2019-04-25 13:33:37 -07:00
committed by seelabs
parent 948e724dff
commit 9372a587e4

View File

@@ -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