diff options
Diffstat (limited to '020run.cc')
| -rw-r--r-- | 020run.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/020run.cc b/020run.cc index 8b24b2f2..35639b06 100644 --- a/020run.cc +++ b/020run.cc @@ -165,7 +165,6 @@ if (!Run_tests) { recipe_ordinal r = Recipe_ordinal[string("main")]; //? atexit(dump_profile); if (r) run(r); -//? dump_memory(); teardown(); } |