From ed21d4c0168157f636b9dd46d992f4e3df5e3e27 Mon Sep 17 00:00:00 2001
From: Ying Wang <wangying@google.com>
Date: Sun, 24 Aug 2014 22:14:19 -0700
Subject: [PATCH] Allow to overrde command make in envsetup.sh.

To override define function get_make_command() in vendor's
vendor-envsetup.sh.

Change-Id: I553e60816eb789750ccd16110f2e82a5087587e8
---
 envsetup.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/envsetup.sh b/envsetup.sh
index 42ac0075c..2c74b2d81 100644
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -1472,10 +1472,15 @@ function pez {
     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))