add finish printfs

diff --git a/Robust/src/Runtime/bamboo/multicoreruntime.c b/Robust/src/Runtime/bamboo/multicoreruntime.c
index 1751a7a34a8e82623fa1fc63c6bdfbf4e64a7c71..defc97092dec9e0e4a7f94168091fa5a17840875 100644 (file)
--- 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.
         }