diff options
author | Éloi Rivard <eloi.rivard@gmail.com> | 2019-05-24 11:20:30 +0200 |
---|---|---|
committer | Drew DeVault <sir@cmpwn.com> | 2019-05-24 14:06:52 -0400 |
commit | 4c07823f47065d393bf5dfd1d5838d6ddd079051 (patch) | |
tree | e74127b89ef0d27bf3a185bb409b7727715aa35a | |
parent | 1c7eb14916983dac2476529536c5fcb32a48df42 (diff) |
Define 'make' program via an environment variable
-rwxr-xr-x | setup.py | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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) |