If you set MAKE in your configuration environment, then configure will use the specified make program. In other words
env MAKE=gmake ./configure
will check to see if gmake sets MAKE.
According to the autotools docs, it's recommended to do that in the form:
./configure MAKE=gmake
Peter
_______________________________________________ geda-user mailing list geda-user@xxxxxxxxxxxxxx http://www.seul.org/cgi-bin/mailman/listinfo/geda-user