configure: Support --disable-option-checking#2913

bors merged 1 commit into

rust-lang:masterrust-lang/cargo:masterfrom

cuviper:disable-option-checkingcuviper/cargo:disable-option-checkingCopy head branch name to clipboard