From 1532fd8cd0db93f469e414f9da31ef083a44fcba Mon Sep 17 00:00:00 2001 From: yue4u Date: Sun, 22 May 2022 23:17:44 +0900 Subject: [PATCH] Quote replace target in bootstrap configure --- src/bootstrap/configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bootstrap/configure.py b/src/bootstrap/configure.py index 87a130a09827d..2fc036082cba6 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -407,7 +407,7 @@ def set(key, value): 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):