Francois Gouget fgouget@free.fr writes:
Now I must say that I wonder why this was not done automatically. Shouldn't the .c.o dependency kick in automatically in tools/Makefile.in? Maybe you can solve this one?
The depend: target doesn't depend on the tools, because that would slow things down a lot. makedep doesn't change often enough for this to be a real problem; and a make clean will fix it anyway.