debuginfo: Improve commandline option handling for debuginfo#12816

michaelwoerister wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

michaelwoerister:limited-debuginfomichaelwoerister/rust:limited-debuginfoCopy head branch name to clipboard