> I'm sure the answer is quite simple, and I'm displaying my ignorance, but
> I haven't figured it out. If someone could help me out, it would save me a
> lot of time!
>
>I have been seeing the problem also. It really is a bug. "make" is
>supposed to ensure that no file is recompiled needlessly.
>
Why is it so? It wouldn't be hard to check the time stamps of all files, that
depend on ech other. I've found that sometimes you can just leave "make
clean" out and it's OK, but other times you get compile-errors when not
recompiling everything.
Marko