diff --git a/src/bootstrap/configure.py b/src/bootstrap/configure.py index ac971a64d7c22..e3f58d97cbc4c 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -776,6 +776,6 @@ def quit_if_file_exists(file): f.write(contents) p("") - p("run `python {}/x.py --help`".format(rust_dir)) + p("run `{} {}/x.py --help`".format(os.path.basename(sys.executable), rust_dir)) if "GITHUB_ACTIONS" in os.environ: print("::endgroup::")