]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 744e696 f8ca805)
Auto merge of #39770 - alexcrichton:configure-clean, r=brson
authorbors <bors@rust-lang.org>
Sun, 12 Mar 2017 05:27:45 +0000 (05:27 +0000)
committerbors <bors@rust-lang.org>
Sun, 12 Mar 2017 05:27:45 +0000 (05:27 +0000)
Delete more swaths of the configure script

This PR deletes more swaths of the `./configure` script which are either no longer necessary or already available in rustbuild (where an implementation is preferred)


Trivial merge
Empowering everyone to build reliable and efficient software.