This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Make includes (was Re: Time to update documenatiopn regarding supported make implementations?)
>>>>> "DJ" == DJ Delorie <dj at redhat dot com> writes:
>> Automake already has such a check.
DJ> It would have to be a run-time check, since the user running
DJ> "./configure" usually does not run automake.
Sorry, I meant automake already has such an autoconf macro, which is
run at configure time. It is used by the automatic dependency
tracking code.
This is a small change for the user since if you want to use a
different make you need to tell configure about it. I say "small
change" since although AC_PROG_MAKE_SET already assumes this, it is
probably ignored by everybody.
Tom