| commit | a8f7dd358bb67f69118a297bf5054363baaefaec | [log] [tgz] |
|---|---|---|
| author | Jon Salz <jsalz@chromium.org> | Wed Jul 25 17:55:21 2012 +0800 |
| committer | Gerrit <chrome-bot@google.com> | Wed Jul 25 04:16:45 2012 -0700 |
| tree | 8e56ed21ecaa9c5c4e0a6169a77df2c5b27daf9b | |
| parent | 371e5f4ccbf56abf01af65672e164c02158c60c6 [diff] |
Add free_memory_fraction option to control SAT memory usage. BUG=None TEST=Manual on device Change-Id: I876dd6918e08cf6c9c7b924c2f8bb9326685b50f Reviewed-on: https://gerrit.chromium.org/gerrit/28378 Reviewed-by: Jon Salz <jsalz@chromium.org> Tested-by: Jon Salz <jsalz@chromium.org> Commit-Ready: Jon Salz <jsalz@chromium.org>