| Index: src/spaces.cc
|
| ===================================================================
|
| --- src/spaces.cc (revision 2459)
|
| +++ src/spaces.cc (working copy)
|
| @@ -725,11 +725,15 @@
|
| Page* current_page = top_page->next_page();
|
| // Loop over the pages to the end of the space.
|
| while (current_page->is_valid()) {
|
| +#if defined(ANDROID)
|
| + // Free all chunks if possible
|
| +#else
|
| // Advance last_page_to_keep every other step to end up at the midpoint.
|
| if ((free_pages & 0x1) == 1) {
|
| pages_to_keep++;
|
| last_page_to_keep = last_page_to_keep->next_page();
|
| }
|
| +#endif
|
| free_pages++;
|
| current_page = current_page->next_page();
|
| }
|
|
|