From 9da0ce3a7e4956f207be80b040806aef492dddc8 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 16 Jul 2011 00:28:54 +0000
Subject: [PATCH] add finish printfs

---
 Robust/src/Runtime/bamboo/multicoreruntime.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Robust/src/Runtime/bamboo/multicoreruntime.c b/Robust/src/Runtime/bamboo/multicoreruntime.c
index 1751a7a3..defc9709 100644
--- a/Robust/src/Runtime/bamboo/multicoreruntime.c
+++ b/Robust/src/Runtime/bamboo/multicoreruntime.c
@@ -298,6 +298,7 @@ void CALL11(___System______exit____I,
     print_statistics();
 #endif
     gc_outputProfileDataReadable();
+    tprintf("FINISH_EXECUTION\n");
   }
 #endif 
   BAMBOO_EXIT_APP(___status___);
@@ -765,6 +766,7 @@ void checkCoreStatus() {
 #endif
 	  gc_outputProfileDataReadable();
           disruntimedata();
+	  tprintf("FINISH_EXECUTION\n");
           BAMBOO_ENTER_CLIENT_MODE_FROM_RUNTIME();
           terminate();  // All done.
         }
-- 
2.34.1