From b16cc0294e517bbf648261c6e298e01362db9ab0 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 14 Apr 2017 10:05:54 -0700 Subject: 3822 Provide an option to disable memory reclamation. This makes edit/ *much* more responsive. The cost: memory use grows monotonically. Since we no longer have a safe way to reclaim heap allocations, we never do so. --- 043space.cc | 1 + 1 file changed, 1 insertion(+) (limited to '043space.cc') diff --git a/043space.cc b/043space.cc index 1562c11f..770871c1 100644 --- a/043space.cc +++ b/043space.cc @@ -230,6 +230,7 @@ try_reclaim_locals(); :(code) void try_reclaim_locals() { + if (!Reclaim_memory) return; // only reclaim routines starting with 'local-scope' const recipe_ordinal r = get(Recipe_ordinal, current_recipe_name()); const recipe& exiting_recipe = get(Recipe, r); -- cgit 1.4.1-2-gfad0