summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@noreply.codeberg.org>2023-11-03 15:54:39 +0000
committerLars Wirzenius <liw@noreply.codeberg.org>2023-11-03 15:54:39 +0000
commitd91c330cbf38d13e4510ec980490196089916c68 (patch)
treebf82b5f5067a8fee7ea658cfa036fd88f1566c41
parentae9a5fdec6ab608304f08e60fe4223ab568c9e2d (diff)
parent3df661550451ec9fe20ec92b9748be1ea886dab1 (diff)
downloadambient-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-xambient-run-script6
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")