ci: print expected exit msg

sancus-tee · Jan 2, 2025 · 88202b2 · 88202b2
1 parent 5a85f2b
commit 88202b2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git 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
@@ -103,6 +103,5 @@ int main()
     puts("[untrusted] calling ping SM..");
     enter_ping();
 
-    puts("[untrusted] exiting..");
-    EXIT();
+    FINISH();
 }