diff options
| author | Tanvi Pooranmal Meena <tanvimeena19@gmail.com> | 2025-01-13 15:38:39 +0530 |
|---|---|---|
| committer | Tanvi Pooranmal Meena <tanvimeena19@gmail.com> | 2025-01-20 11:07:32 +0530 |
| commit | 7d806171d00f53a720e6784a878a98cbef5c3d4a (patch) | |
| tree | b505866a17d27babec90ccd0b6479560582af955 /src/bootstrap/bootstrap.py | |
| parent | 39dc268459b4bd8b771e500169bea67850fad30d (diff) | |
| download | rust-7d806171d00f53a720e6784a878a98cbef5c3d4a.tar.gz rust-7d806171d00f53a720e6784a878a98cbef5c3d4a.zip | |
Add logic to override profile for non git sources
Diffstat (limited to 'src/bootstrap/bootstrap.py')
| -rw-r--r-- | src/bootstrap/bootstrap.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/bootstrap/bootstrap.py b/src/bootstrap/bootstrap.py index 76ee40c6f45..74923af1555 100644 --- a/src/bootstrap/bootstrap.py +++ b/src/bootstrap/bootstrap.py @@ -1268,6 +1268,11 @@ def bootstrap(args): config_toml = "" profile = RustBuild.get_toml_static(config_toml, "profile") + is_non_git_source = not os.path.exists(os.path.join(rust_root, ".git")) + + if profile is None and is_non_git_source: + profile = "dist" + if profile is not None: # Allows creating alias for profile names, allowing # profiles to be renamed while maintaining back compatibility |