diff options
| author | jyn <github@jyn.dev> | 2023-04-19 08:25:00 -0500 |
|---|---|---|
| committer | jyn <github@jyn.dev> | 2023-04-19 08:25:49 -0500 |
| commit | 6d07dbc266f74509ae78dc144780d6fad7c7ded9 (patch) | |
| tree | 92c6c2036e66de675e317e1bc05dd9519a261b97 /src/bootstrap/configure.py | |
| parent | d7f9e81650dcee3e2d5ad1973a71da644a2eff93 (diff) | |
| download | rust-6d07dbc266f74509ae78dc144780d6fad7c7ded9.tar.gz rust-6d07dbc266f74509ae78dc144780d6fad7c7ded9.zip | |
configure: Fix bug in `configure_top_level_key`
Before, it only worked for numbers, not strings.
Diffstat (limited to 'src/bootstrap/configure.py')
| -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 abd28b4005d..5937d5a8cdd 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -475,7 +475,7 @@ def configure_section(lines, config): def configure_top_level_key(lines, top_level_key, value): for i, line in enumerate(lines): if line.startswith('#' + top_level_key + ' = ') or line.startswith(top_level_key + ' = '): - lines[i] = "{} = {}".format(top_level_key, value) + lines[i] = "{} = {}".format(top_level_key, to_toml(value)) return raise RuntimeError("failed to find config line for {}".format(top_level_key)) |