Improve build detect for RISCV#9366

adamretter wants to merge 2 commits into

facebook:mainfacebook/rocksdb:mainfrom

adamretter:improve-build-detectadamretter/rocksdb:improve-build-detectCopy head branch name to clipboard