From 0fb64f8bce8b2994a231d31c092d4443bc8ffd94 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89loi=20Rivard?= Date: Wed, 29 May 2019 15:07:23 +0200 Subject: [PATCH] Define 'make' program via an environment variable --- setup.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/setup.py b/setup.py index f7422c3..7613aa8 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) -- 2.38.5