diff options
author | Lars Wirzenius <liw@noreply.codeberg.org> | 2023-11-03 15:54:39 +0000 |
---|---|---|
committer | Lars Wirzenius <liw@noreply.codeberg.org> | 2023-11-03 15:54:39 +0000 |
commit | d91c330cbf38d13e4510ec980490196089916c68 (patch) | |
tree | bf82b5f5067a8fee7ea658cfa036fd88f1566c41 | |
parent | ae9a5fdec6ab608304f08e60fe4223ab568c9e2d (diff) | |
parent | 3df661550451ec9fe20ec92b9748be1ea886dab1 (diff) | |
download | ambient-build-vm-d91c330cbf38d13e4510ec980490196089916c68.tar.gz |
Merge pull request 'feat: output markers to make it easier to discard junk from log' (#9) from liw/markers into main
Reviewed-on: https://codeberg.org/ambient/ambient-build-vm/pulls/9
-rwxr-xr-x | ambient-run-script | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ambient-run-script b/ambient-run-script index b905609..bb13c9f 100755 --- a/ambient-run-script +++ b/ambient-run-script @@ -18,6 +18,10 @@ class RunScript: self.log.write(f"{txt}\n") self.log.flush() + def marker(self, symbol): + line = "=" * 22 + self.msg(f"\n{line} {symbol} {line}\n") + def join(self, path): return os.path.join(self.root, f"./{path}") @@ -39,6 +43,7 @@ class RunScript: tar.close() def run(self): + self.marker("BEGIN") self.create_workspace() self.extract_sources() if self.args.cache: @@ -48,6 +53,7 @@ class RunScript: self.build() if self.args.cache: self.save_cache() + self.marker("END") def create_workspace(self): self.msg("create /workspace") |