The standard Makefile do not enforce dependency analysis so changes to configuration header files are not propagated by make. If you want to force complete dependency analysis between files you should do
make DEPS which however is WAY slower. I never use it and prefer the faster make distclean configure make incantation. best massimiliano On 11 juil. 2010, at 21:03, Jeremy Henty wrote: > On Sat, Jul 10, 2010 at 08:39:03PM +0800, Zou Hu wrote: > >> No, I just run ./configure before make. > > Even if run ./configure and then make, make still terminates after a > few seconds having done nothing (which rather surprises me as I'd > expect the whole thing to be rebuilt after a configure). I can't > understand why you should be getting different behaviour. > > Regards, > > Jeremy Henty > > _______________________________________________ > Texmacs-dev mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/texmacs-dev _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
