From e06658cb24e9f880570c5a44a5ad6b11b620efc5 Mon Sep 17 00:00:00 2001 From: Giridhar Prasath R Date: Thu, 12 Sep 2019 07:35:32 +0530 Subject: [PATCH] check GNU make exists in path Signed-off-by: Giridhar Prasath R --- scripts/gen_run_tests.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'