Adjust warning of -C extra-filename with -o.#62128

Merged

bors merged 1 commit intorust-lang:masterfrom

ehuss:extra-filename-warning

Jul 3, 2019

Commits on Jun 25, 2019

Adjust warning of -C extra-filename with -o.
ehuss
committed