summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorÉloi Rivard <eloi.rivard@gmail.com>2019-05-24 11:20:30 +0200
committerDrew DeVault <sir@cmpwn.com>2019-05-24 14:06:52 -0400
commit4c07823f47065d393bf5dfd1d5838d6ddd079051 (patch)
treee74127b89ef0d27bf3a185bb409b7727715aa35a
parent1c7eb14916983dac2476529536c5fcb32a48df42 (diff)
Define 'make' program via an environment variable
-rwxr-xr-xsetup.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/setup.py b/setup.py
index 76a9a78..83b7ff4 100755
--- a/setup.py
+++ b/setup.py
@@ -28,7 +28,8 @@ else:
"The $SRHT_PATH environment variable points to an invalid "
"directory: {}".format(srht_path))
-subp = subprocess.run(["make", "SRHT_PATH=" + srht_path])
+make = os.environ.get("MAKE", "make")
+subp = subprocess.run([make, "SRHT_PATH=" + srht_path])
if subp.returncode != 0:
sys.exit(subp.returncode)