From 1d0225af0b11a7a16cac6e8a4cf9c3cf1eef413a Mon Sep 17 00:00:00 2001
From: Andrea Giacobino <no.andrea@gmail.com>
Date: Fri, 19 Apr 2024 01:27:04 +0200
Subject: [PATCH] Cleanup after building runtimes

---
 scripts/build-tracing-runtime.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/build-tracing-runtime.sh b/scripts/build-tracing-runtime.sh
index eded778..4b33029 100755
--- a/scripts/build-tracing-runtime.sh
+++ b/scripts/build-tracing-runtime.sh
@@ -65,3 +65,5 @@ done
 
 # Move back to git repository root
 cd ../../../..
+# cleanup
+rm -rf tmp