From 455941bd45ef6f99ab11ce22dad2e65595c11462 Mon Sep 17 00:00:00 2001
From: dk505 <dk505@cam.ac.uk>
Date: Tue, 16 Jul 2024 04:06:27 +0100
Subject: [PATCH] (run-vm) echo $out

---
 scripts/run-vm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/run-vm b/scripts/run-vm
index bbc2ded..d5b70b6 100755
--- a/scripts/run-vm
+++ b/scripts/run-vm
@@ -59,3 +59,6 @@ make -C ${0:A:h:h} images
 qemu-system-aarch64 $params --append "$append" $@ | tee "$out/serial"
 
 (( $#ncov == 0 )) && echo && ${0:A:h}/capture-coverage $out
+
+echo
+echo -e '> \e]8;;file://'$out'\e\\'$out'\e]8;;\e\\'