From ec233e3499205fe5d8ced372f280288ecf411bc2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89loi=20Rivard?= <eloi@yaal.fr>
Date: Tue, 28 May 2019 17:19:58 +0200
Subject: 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 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)
 
-- 
cgit v1.2.3