Commit 3c3706ab authored by Tommaso Tocci's avatar Tommaso Tocci Committed by Marc Vef
Browse files

rocksDB enable run-time type identification

parent 683618cf
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -333,7 +333,7 @@ echo "############################################################ Installing:
CURR=${SOURCE}/rocksdb
cd ${CURR}
make clean
make -j${CORES} static_lib
make USE_RTTI=1 -j${CORES} static_lib
make INSTALL_PATH=${INSTALL} install

echo "Done"