jvoisin opened this issue 2 years ago · 1 comments
It would be nice to not recompile rocksdb when it's already compiled.
Done in 21630b0