diff options
author | Éloi Rivard <eloi@yaal.fr> | 2019-05-28 17:19:58 +0200 |
---|---|---|
committer | Drew DeVault <sir@cmpwn.com> | 2019-05-29 08:34:44 -0400 |
commit | ec233e3499205fe5d8ced372f280288ecf411bc2 (patch) | |
tree | 8b110b7d7aa02fff690300d1b06770d7d7757dcf | |
parent | 349d760adb2edac3df0e8bce192a8c8c82f3630f (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) |