envsetup: add function to detect shell

    mk_timer $(get_make_command) "$@"

}

if [ "x$SHELL" != "x/bin/bash" ]; then

function __detect_shell() {

    case `ps -o command -p $$` in

        *bash*)

            echo bash

            ;;

        *zsh*)

            echo zsh

            ;;

        *)

            echo "WARNING: Only bash and zsh are supported, use of other shell may lead to erroneous results"

            echo unknown

            return 1

            ;;

    esac

    return

}

if ! __detect_shell > /dev/null; then

    echo "WARNING: Only bash and zsh are supported, use of other shell may lead to erroneous results"

fi

# Execute the contents of any vendorsetup.sh files we can find.