Customizable extended tools#48015

Merged

bors merged 2 commits intorust-lang:masterfrom

o01eg:disableable-installation

Feb 10, 2018

Commits on Feb 5, 2018

Add build.tools option to manage installation of extended rust tools.
o01eg
committed

Commits on Feb 7, 2018

Refactor checks on list of extended tools.
o01eg
committed