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 /commands | |
| 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 'commands')
0 files changed, 0 insertions, 0 deletions