Loading envsetup.sh +13 −5 Original line number Diff line number Diff line Loading @@ -1726,10 +1726,18 @@ function make() local secs=$(($tdiff % 60)) echo if [ $ret -eq 0 ] ; then if [ $(uname) != "Darwin" ]; then echo -n -e "\e[0;32m#### make completed successfully " else echo -n -e "#### make completed successfully " fi else 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 elif [ $mins -gt 0 ] ; then Loading @@ -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*) Loading Loading
envsetup.sh +13 −5 Original line number Diff line number Diff line Loading @@ -1726,10 +1726,18 @@ function make() local secs=$(($tdiff % 60)) echo if [ $ret -eq 0 ] ; then if [ $(uname) != "Darwin" ]; then echo -n -e "\e[0;32m#### make completed successfully " else echo -n -e "#### make completed successfully " fi else 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 elif [ $mins -gt 0 ] ; then Loading @@ -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*) Loading