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 Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make