use realpath
in bootstrap.py
when creating build-dir#139804
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 14, 2025
Merged
use `realpath` in `bootstrap.py` when creating build-dir#139804bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom