Manuel Bouyer <bouyer@antioche.lip6.fr> writes:
> I rerun 'make update' again, and it always restarted from where it stopped.
Ah, THIS was the answer I was looking for. Cool, I'm
embarassed I never noticed this excellent feature myself.
Sean.