diff options
Diffstat (limited to '043space.cc')
-rw-r--r-- | 043space.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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); |