Free cache memory once it's no longer used.
authorNico Weber <thakis@chromium.org>
Sun, 15 Jun 2014 21:11:27 +0000 (14:11 -0700)
committerNico Weber <thakis@chromium.org>
Sun, 15 Jun 2014 21:13:54 +0000 (14:13 -0700)
commit726afc8226a10cd6c5ce724a845ff5cd17169091
tree2c19ad79d9356ea6e63ba710fa8d92d532f0c491
parent9970174e2ab8e4d5c9f333b795c8d284cf1cb8f5
Free cache memory once it's no longer used.

Doesn't slow down empty build times measurably, and
saves some memory on non-empty builds.
src/disk_interface.cc
src/disk_interface.h
src/ninja.cc