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: use native rocksdb makefile (and our autotools) #6290
@liewegas the problem was something else: the bot uses autogen.sh from master which no longer works everywhere with this patch. I changed it to use the autogen.sh from the pull request instead. The reason for this trick was because it is the only script that runs with network access. Could you re-push please ?