diff options
| author | clubby789 <jamie@hill-daniel.co.uk> | 2023-06-26 20:17:08 +0000 |
|---|---|---|
| committer | clubby789 <jamie@hill-daniel.co.uk> | 2023-06-26 22:54:47 +0000 |
| commit | 85c4ea0138fcca2e8cf4515a063cd3b762d64aec (patch) | |
| tree | a5c9843279acbf237b25b5bdeecda579cc833aec /src/bootstrap/configure.py | |
| parent | 6f8c27ae89dfd32895419d7ef5b89844bcad1bcd (diff) | |
| download | rust-85c4ea0138fcca2e8cf4515a063cd3b762d64aec.tar.gz rust-85c4ea0138fcca2e8cf4515a063cd3b762d64aec.zip | |
bootstrap: rename 'user' profile to 'dist'
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 a5a1385dc0d..e8eebdfb5a5 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -437,7 +437,7 @@ def parse_example_config(known_args, config): targets[target][0] = targets[target][0].replace("x86_64-unknown-linux-gnu", "'{}'".format(target) if "." in target else target) if 'profile' not in config: - set('profile', 'user', config) + set('profile', 'dist', config) configure_file(sections, top_level_keys, targets, config) return section_order, sections, targets |