Allow to overrde command make in envsetup.sh.
To override define function get_make_command() in vendor's
vendor-envsetup.sh.
Change-Id: I553e60816eb789750ccd16110f2e82a5087587e8
diff --git a/envsetup.sh b/envsetup.sh
index 42ac007..2c74b2d 100644
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -1472,10 +1472,15 @@
return $retval
}
+function get_make_command()
+{
+ echo command make
+}
+
function make()
{
local start_time=$(date +"%s")
- command make "$@"
+ $(get_make_command) "$@"
local ret=$?
local end_time=$(date +"%s")
local tdiff=$(($end_time-$start_time))