summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorÉloi Rivard <eloi@yaal.fr>2019-05-28 17:19:58 +0200
committerDrew DeVault <sir@cmpwn.com>2019-05-29 08:34:44 -0400
commitec233e3499205fe5d8ced372f280288ecf411bc2 (patch)
tree8b110b7d7aa02fff690300d1b06770d7d7757dcf
parent349d760adb2edac3df0e8bce192a8c8c82f3630f (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 9fad4c0..297e8d3 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)