check GNU make exists in path

Signed-off-by: Giridhar Prasath R <[email protected]>
mbgrydeland · Sep 11, 2019 · e06658c · e06658c
1 parent 22bc75e
commit e06658c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/gen_run_tests.py b/scripts/gen_run_tests.py
@@ -14,7 +14,7 @@
 
 uname = uname()[0]
 
-if "BSD" in uname:
+if call("command -v gmake", shell=True) == 0:
     make_cmd = 'gmake'
 else:
     make_cmd = 'make'