diff options
| author | jyn <github@jyn.dev> | 2023-07-09 22:14:48 -0500 |
|---|---|---|
| committer | jyn <github@jyn.dev> | 2023-07-14 17:27:20 -0500 |
| commit | 9851a141a32a4a878d868a8187a7d2c8f69d7dbd (patch) | |
| tree | 1e9e4f30a6f55db0c8bd4dd2683e0d4618adddc4 /src/bootstrap/configure.py | |
| parent | dcd8d376cbe7d8dc40cb6d810a10914f98a868c2 (diff) | |
| download | rust-9851a141a32a4a878d868a8187a7d2c8f69d7dbd.tar.gz rust-9851a141a32a4a878d868a8187a7d2c8f69d7dbd.zip | |
put configure behind a group
Diffstat (limited to 'src/bootstrap/configure.py')
| -rwxr-xr-x | src/bootstrap/configure.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/bootstrap/configure.py b/src/bootstrap/configure.py index e8eebdfb5a5..a7beb2a1767 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -550,6 +550,8 @@ if __name__ == "__main__": # If 'config.toml' already exists, exit the script at this point quit_if_file_exists('config.toml') + if "GITHUB_ACTIONS" in os.environ: + print("::group::Configure the build") p("processing command line") # Parse all known arguments into a configuration structure that reflects the # TOML we're going to write out @@ -572,3 +574,5 @@ if __name__ == "__main__": p("") p("run `python {}/x.py --help`".format(rust_dir)) + if "GITHUB_ACTIONS" in os.environ: + print("::endgroup::") |