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:
DJ> But it doesn't seem right that one Makefile out of the whole GCC
DJ> project has the right to change the rules for everyone by doing
DJ> something different. Everyone else is going through the effort of
DJ> making the build work with any portable make, and the java
DJ> Makefile throws that effort away by making non-gnu makes break.
Now we're talking about different things. Most of the GNU make
extensions in the libjava Makefile are there for different reasons.
I agree that removing them is a good idea.
Tom