Allow to overrde command make in envsetup.sh.

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

Change-Id: I553e60816eb789750ccd16110f2e82a5087587e8

parent da2da1d9

envsetup.sh

+6 −1

Original line number	Diff line number	Diff line
		@@ -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))