diff options
| author | Segev Finer <segev208@gmail.com> | 2018-03-01 18:33:14 +0200 |
|---|---|---|
| committer | Segev Finer <segev208@gmail.com> | 2018-03-01 18:33:14 +0200 |
| commit | 5332d9a8e8a66e22b8c81f3f302ce72734ba137f (patch) | |
| tree | 2501e65372e3c3fc0722a280c8bf237c69f2b7ac /src | |
| parent | 39d0b054cea73614a0c1dd06cd98d3d22eea6b10 (diff) | |
| download | rust-5332d9a8e8a66e22b8c81f3f302ce72734ba137f.tar.gz rust-5332d9a8e8a66e22b8c81f3f302ce72734ba137f.zip | |
Document why we download rust-mingw
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/bootstrap.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/bootstrap/bootstrap.py b/src/bootstrap/bootstrap.py index 761cc94c8c6..5d297570bc1 100644 --- a/src/bootstrap/bootstrap.py +++ b/src/bootstrap/bootstrap.py @@ -351,6 +351,9 @@ class RustBuild(object): with open(self.rustc_stamp(), 'w') as rust_stamp: rust_stamp.write(self.date) + # This is required so that we don't mix incompatible MinGW + # libraries/binaries that are included in rust-std with + # the system MinGW ones. if "pc-windows-gnu" in self.build: filename = "rust-mingw-{}-{}.tar.gz".format( rustc_channel, self.build) |