diff options
| author | KaDiWa <kalle.wachsmuth@gmail.com> | 2023-01-27 22:10:10 +0100 |
|---|---|---|
| committer | KaDiWa <kalle.wachsmuth@gmail.com> | 2023-01-30 15:58:35 +0100 |
| commit | 385dbff9e5a77b441d453b109538ebceb2f33e7b (patch) | |
| tree | 3094e30b7cf484d9f628aa339ac5e088f545e37e /x.py | |
| parent | fba9f33c7c9b6b439aabba2625102c818e1b24ed (diff) | |
| download | rust-385dbff9e5a77b441d453b109538ebceb2f33e7b.tar.gz rust-385dbff9e5a77b441d453b109538ebceb2f33e7b.zip | |
bootstrap script: slight cleanup
Diffstat (limited to 'x.py')
| -rwxr-xr-x | x.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x.py b/x.py index 6df4033d55d..b7df39c7bc9 100755 --- a/x.py +++ b/x.py @@ -22,7 +22,7 @@ if sys.version_info.major < 3: pass rust_dir = os.path.dirname(os.path.abspath(__file__)) -sys.path.append(os.path.join(rust_dir, "src", "bootstrap")) +sys.path[:0] = [os.path.join(rust_dir, "src", "bootstrap")] import bootstrap bootstrap.main() |