On Sun, Mar 6, 2011 at 1:07 PM, Graham Menhennitt <[email protected]> wrote: ... > Thanks for replying. As I said before, this is not a newbie question - > I've been using make since about 1979! And, if the makefile formatting > was incorrect, why would just touching the makefile fix it?
Since you're apparently constrained from providing enough information for other to debug this, I'll suggest you compare the output of the before-touch and after-touch runs when you run the (inner) make with the -d option. Good luck! Philip Guenther _______________________________________________ Help-make mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-make
