From 88202b2a61bd84fa316493d9c47c68e7d0535905 Mon Sep 17 00:00:00 2001
From: Jo Van Bulck <jo.vanbulck@cs.kuleuven.be>
Date: Thu, 2 Jan 2025 17:45:16 +0100
Subject: [PATCH] ci: print expected exit msg

---
 asm/main.c       | 3 +--
 auth-exec/main.c | 3 +--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/asm/main.c b/asm/main.c
index ae3958f..141f350 100644
--- a/asm/main.c
+++ b/asm/main.c
@@ -20,6 +20,5 @@ int main()
     int one = enter_foo(1);
     printf("foo(0)=%#x; foo(1)=%#x\n", null, one);
 
-    pr_info("all done!");
-    EXIT();
+    FINISH();
 }
diff --git a/auth-exec/main.c b/auth-exec/main.c
index 4dae1df..e9ccfd5 100644
--- a/auth-exec/main.c
+++ b/auth-exec/main.c
@@ -103,6 +103,5 @@ int main()
     puts("[untrusted] calling ping SM..");
     enter_ping();
 
-    puts("[untrusted] exiting..");
-    EXIT();
+    FINISH();
 }