On 2007-03-05 13:19:15 +0000, Andy Parkins wrote: > On Monday 2007 March 05 12:33, Karl Hasselström wrote: > > > Now, obviously "make" isn't such a make tool, since it goes only > > by timestamps. > > Perhaps this will help you: > > http://kolpackov.net/pipermail/notes/2004-September/000011.html Thanks for the pointer; I hadn't seen that technique before. But it isn't really worth it. The make tool going by hash rather than timestamp is a nice-to-have, not a must-have (for those projects I've been involved in anyway), so the cost of the solution proposed in that message is too high. -- Karl Hasselström, kha@xxxxxxxxxxx www.treskal.com/kalle - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html