mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Quote replace target in bootstrap configure

Browse Source
This commit is contained in:
yue4u 2022-05-22 23:17:44 +09:00
parent 653463731a
commit 1532fd8cd0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/bootstrap/configure.py
View File

@ -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):