Hi Jim,
> > ./configure
> > make maintainer-clean # Clean up previous build artefacts
>
> What's the point of rerunning configure and maintainer-clean?
I sometimes do "make distclean" in a subdirectory. This removes some
but not all Makefiles. "make -k maintainer-clean" will thus fail and
not do the 'maintainer-clean' in said subdirectory.
> I can see doing that if the make -k ... failed, e.g.,
>
> make -k maintainer-clean || { ./configure && make maintainer-clean; }
>
> but not unconditionally.
Yes, this is better than what I proposed.
Bruno
--
In memoriam Nunilo and Alodia <http://en.wikipedia.org/wiki/Nunilo_and_Alodia>
