Auto merge of #31678 - JohanLorenzo:follow-up-31368, r=alexcrichton

Thanks for catching this @tamird. Here's a quick fix. I didn't pick "let the linker link dead code" or "link dead code" because it would add no extra information to the flag name. Here's a another proposal.

r? @alexcrichton
This commit is contained in:
bors 2016-02-16 15:12:40 +00:00
commit 94ecd483e5

Diff Content Not Available