From: bors Date: Sun, 12 Mar 2017 05:27:45 +0000 (+0000) Subject: Auto merge of #39770 - alexcrichton:configure-clean, r=brson X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=d9cf601ae822d07412a79aeedeabb802aa94cb34;p=rust.git Auto merge of #39770 - alexcrichton:configure-clean, r=brson 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) --- d9cf601ae822d07412a79aeedeabb802aa94cb34