Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
rocksdb: remove rdb source files from dist tarball #6379
I'm not sure this will fix the problem. It shows once in a while and I have no clue why... I can't browse the web right now so it's difficult to investigate :-) I ran make dist a few times locally and it did not show. Since make dist is not run in parallel, I don't see how it could have this error just once in a while ?