diff --git a/envsetup.sh b/envsetup.sh index bc1da26d17..ebf2cdc4dc 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -1726,9 +1726,17 @@ function make() 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 @@ -1737,13 +1745,13 @@ function make() 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*)