Merge pull request #1462 from moench-tegeder/env_can_set_make

GNUMakeBuilder: "make" command controllable via environment
This commit is contained in:
Robin Dunn
2019-12-16 10:10:05 -08:00
committed by GitHub

View File

@@ -150,7 +150,9 @@ class Builder:
# Concrete subclasses of abstract Builder interface
class GNUMakeBuilder(Builder):
def __init__(self, commandName="make", formatName="GNUMake"):
def __init__(self, commandName=None, formatName="GNUMake"):
if commandName is None:
commandName = os.environ.get("MAKE", "make")
Builder.__init__(self, commandName=commandName, formatName=formatName)