Follow-up Comment #7, bug #66743 (group make):

Yes, something must be using MAKE=make or something like that, either in the
environment or command line.  Make itself never resets the MAKE variable, if
it's already set (as far as I'm aware).


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?66743>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/

Attachment: signature.asc
Description: PGP signature

Reply via email to