30 Jan
2023
30 Jan
'23
10:22 p.m.
On Mon, 30 Jan 2023, Bakul Shah wrote:
Yes but then you lose a bunch of work. You don’t want
to restart,
you just want to delay.
If it restarts, then there's something very wrong with your Makefile.
make is designed to pick up where it left off if it dies before finishing.
-uso.