]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #61215 - paoloteti:armebv7r, r=alexcrichton
authorbors <bors@rust-lang.org>
Mon, 27 May 2019 03:58:56 +0000 (03:58 +0000)
committerbors <bors@rust-lang.org>
Mon, 27 May 2019 03:58:56 +0000 (03:58 +0000)
Docker: remove environment variable `CC_armebv7r_none_eabi`

`cc-rs` take care of selecting the tool-chain, so this `ENV` variable can be safely removed.


Trivial merge