diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-15 09:39:22 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-15 09:39:22 (GMT) |
commit | 6d24aa66ebb5231ead47bf5f0924908b76acd622 (patch) | |
tree | 536ca5495a88f1f45ead98aa97aadf192a3f7072 /devbot/state.py | |
parent | 33d8978886a6b5e610367e24331bce79be8cd08c (diff) |
Put real_prefix_path in the home
So that it doesn't get deleted when we clean. Otherwise every time
the prefix is different and ccache is useless.
Diffstat (limited to 'devbot/state.py')
0 files changed, 0 insertions, 0 deletions