diff options
| author | yue4u <github@yue.coffee> | 2022-05-22 23:17:44 +0900 |
|---|---|---|
| committer | yue4u <github@yue.coffee> | 2022-05-22 23:17:44 +0900 |
| commit | 1532fd8cd0db93f469e414f9da31ef083a44fcba (patch) | |
| tree | 2147f1554cea297bad262a879d375dc6f21ae11b /src | |
| parent | 653463731a7f01f519cf85f444869def27f00395 (diff) | |
| download | rust-1532fd8cd0db93f469e414f9da31ef083a44fcba.tar.gz rust-1532fd8cd0db93f469e414f9da31ef083a44fcba.zip | |
Quote replace target in bootstrap configure
Diffstat (limited to 'src')
| -rwxr-xr-x | src/bootstrap/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bootstrap/configure.py b/src/bootstrap/configure.py index 87a130a0982..2fc036082cb 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -407,7 +407,7 @@ if 'target' in config: configured_targets.append(target) for target in configured_targets: targets[target] = sections['target'][:] - targets[target][0] = targets[target][0].replace("x86_64-unknown-linux-gnu", target) + targets[target][0] = targets[target][0].replace("x86_64-unknown-linux-gnu", "'{}'".format(target)) def is_number(value): |