diff options
| author | Chris Denton <christophersdenton@gmail.com> | 2022-07-04 15:57:10 +0100 |
|---|---|---|
| committer | Chris Denton <christophersdenton@gmail.com> | 2022-07-04 15:57:10 +0100 |
| commit | b1541ff198d3684c4dfadca02d87677bea04f8c0 (patch) | |
| tree | 0d5b103c9390c99ac4d866ea971955dbbe46056f /compiler/rustc_codegen_gcc | |
| parent | a3beeaa84da241f35888338ded6659938206ff13 (diff) | |
| download | rust-b1541ff198d3684c4dfadca02d87677bea04f8c0.tar.gz rust-b1541ff198d3684c4dfadca02d87677bea04f8c0.zip | |
bootstrap.py: Always use `.exe` for Windows
This ensure that it will run the Windows executable if other files in the directory (such as Linux executables) have the same file name minus the extension.
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions