aboutsummaryrefslogtreecommitdiffstats
path: root/planner-gtk.c
diff options
context:
space:
mode:
authorGravatar Thiago Macieira <thiago@macieira.org>2013-04-13 09:00:15 -0700
committerGravatar Thiago Macieira <thiago@macieira.org>2013-04-23 00:06:32 -0700
commitc11ce7e1574889734fa010ad3d8379aa41720fdc (patch)
tree7663dd8996b8fd66faa22da99a56a9a1eef6baeb /planner-gtk.c
parentd47b9045802f5f05dfafad982cdf4ab4b86a2c2c (diff)
downloadsubsurface-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 'planner-gtk.c')
0 files changed, 0 insertions, 0 deletions