Index: tools/eval_gc_time.sh |
diff --git a/tools/eval_gc_time.sh b/tools/eval_gc_time.sh |
index cef38df3c328b6c12f8192543c6b9f0ca6788d7c..bad4d135e1296e65556e587801397fb57a4e20a4 100755 |
--- a/tools/eval_gc_time.sh |
+++ b/tools/eval_gc_time.sh |
@@ -59,7 +59,6 @@ INTERESTING_NEW_GEN_KEYS="\ |
INTERESTING_OLD_GEN_KEYS="\ |
${GENERAL_INTERESTING_KEYS} \ |
- external \ |
clear \ |
clear.code_flush \ |
clear.dependent_code \ |
@@ -81,6 +80,11 @@ INTERESTING_OLD_GEN_KEYS="\ |
evacuate.update_pointers.to_evacuated \ |
evacuate.update_pointers.to_new \ |
evacuate.update_pointers.weak \ |
+ external.mc_prologue \ |
+ external.mc_epilogue \ |
+ external.mc_incremental_prologue \ |
+ external.mc_incremental_epilogue \ |
+ external.weak_global_handles \ |
mark \ |
mark.finish_incremental \ |
mark.prepare_code_flush \ |