Merge "Fix PDK build."
diff --git a/envsetup.sh b/envsetup.sh
index d39a2f1..66f9136 100644
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -1638,9 +1638,17 @@
local secs=$(($tdiff % 60))
echo
if [ $ret -eq 0 ] ; then
- echo -n -e "#### make completed successfully "
+ if [ $(uname) != "Darwin" ]; then
+ echo -n -e "\e[0;32m#### make completed successfully "
+ else
+ echo -n -e "#### make completed successfully "
+ fi
else
- echo -n -e "#### make failed to build some targets "
+ if [ $(uname) != "Darwin" ]; then
+ echo -n -e "\e[0;31m#### make failed to build some targets "
+ else
+ echo -n -e "#### make failed to build some targets "
+ fi
fi
if [ $hours -gt 0 ] ; then
printf "(%02g:%02g:%02g (hh:mm:ss))" $hours $mins $secs
@@ -1649,13 +1657,13 @@
elif [ $secs -gt 0 ] ; then
printf "(%s seconds)" $secs
fi
- echo -e " ####"
+ if [ $(uname) != "Darwin" ]; then
+ echo -e " ####\e[00m"
+ fi
echo
return $ret
}
-
-
if [ "x$SHELL" != "x/bin/bash" ]; then
case `ps -o command -p $$` in
*bash*)
