diff options
author | Giridhar Prasath R <cristianoprasath@gmail.com> | 2019-09-12 07:35:32 +0530 |
---|---|---|
committer | Qi Wang <interwq@gmail.com> | 2019-09-11 16:36:19 -0700 |
commit | e06658cb24e9f880570c5a44a5ad6b11b620efc5 (patch) | |
tree | 02631fa2ce933aee88185b0f66ffa7794de4e365 /scripts | |
parent | 22bc75ee3e98fb45058fbee45210ed3ab65da6f4 (diff) | |
download | jemalloc-e06658cb24e9f880570c5a44a5ad6b11b620efc5.tar.gz |
check GNU make exists in path
Signed-off-by: Giridhar Prasath R <cristianoprasath@gmail.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/gen_run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gen_run_tests.py b/scripts/gen_run_tests.py index a414f812..6875a495 100755 --- a/scripts/gen_run_tests.py +++ b/scripts/gen_run_tests.py @@ -14,7 +14,7 @@ nparallel = cpu_count() * 2 uname = uname()[0] -if "BSD" in uname: +if call("command -v gmake", shell=True) == 0: make_cmd = 'gmake' else: make_cmd = 'make' |