Francois Suter wrote:
> I ran the make again with -k, but it didn't seem to go any further.
Try make -i. I can't guarantee it will work, but sometimes I get better
results from it than make -k.
> Also I am not very familiar with make. It seems like it caches the
> results of previous makes, because most things are not "re-made".
That is kind of the point of 'make'.
