Follow-up Comment #7, bug #20394 (project make):
As to when to use the cache vs. avoid it, I actually meant the opposite from
what you wrote. Maybe it's more clear with a practical example:
$ time make -C fltk-1.1.7, up-to-date, on a (slow) Ubuntu box:
make (3.81b4, as is):
- 3.8 sec
make (cvs, no default_terminal_rules, no cache):
- 2.0 sec
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?20394>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-make