Sequential build of libjava

[Brad Lucier]

> 
> %% Brad Lucier <lucier@math.purdue.edu> writes:
> 
>   >> We can't rely on GNU make (libjava does, but that is a bug).
>   >> So we can only do this if someone writes the configury code to detect
>   >> this situation.
> 
>   bl> In other words, configure should figure out if we're using gnu
>   bl> make, and if so, put a plus sign there in the definition of
>   bl> MULTIDO.
> 
> It's not hard for configure to find out if a given make is GNU
> make... here's an easy test:
> 
>   echo 'all:;@echo $(MAKE_VERSION)' | make -f-
> 
> If this returns with 3.*, for example, it's GNU make.  Or you could just
> run "make --version".
> 
> The problem, and the reason configure doesn't do this now, is that make
> is the user's tool... how does configure fine the make that the user
> will run?
> 
> What if configure finds "/usr/bin/make", but then the user types "gmake"
> to invoke the build?  Or something?

OK, so what can be done at build invocation time to get this right?

Brad