diff options
author | Thiago Macieira <thiago@macieira.org> | 2013-04-13 09:00:15 -0700 |
---|---|---|
committer | Thiago Macieira <thiago@macieira.org> | 2013-04-23 00:06:32 -0700 |
commit | c11ce7e1574889734fa010ad3d8379aa41720fdc (patch) | |
tree | 7663dd8996b8fd66faa22da99a56a9a1eef6baeb /profile.c | |
parent | d47b9045802f5f05dfafad982cdf4ab4b86a2c2c (diff) | |
download | subsurface-c11ce7e1574889734fa010ad3d8379aa41720fdc.tar.gz |
Introduce a cache of the configuration
You may have noticed that running make is a little slow. Every time
that it is loaded, it will try to detect everything again. So,
instead, save the output and reload it the next time.
This is implemented by adding a rule that (re-)creates the
config.cache file, which is included by make. If the file doesn't
exist yet, make will first run the rule which creates it, then reload
itself.
You can also cause it to reconfigure by running "make configure".
Signed-off-by: Thiago Macieira <thiago@macieira.org>
Diffstat (limited to 'profile.c')
0 files changed, 0 insertions, 0 deletions