use `realpath` in `bootstrap.py` when creating build-dir#139804

Merged

bors merged 1 commit intorust-lang:masterfrom

WaffleLapkin:real

Apr 14, 2025

Commits on Apr 14, 2025

use `realpath` in `bootstrap.py` when creating build-dir
WaffleLapkin
committed