Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit fc9f1c00 authored by Treehugger Robot's avatar Treehugger Robot Committed by Gerrit Code Review
Browse files

Merge "Pipe bazel() note text to stderr."

parents a25382e5 c8b5e196

envsetup.sh

+2 −2
Original line number Original line Diff line number Diff line
@@ -330,8 +330,8 @@ function bazel() 
    fi

    fi





    if which bazel &>/dev/null; then

    if which bazel &>/dev/null; then

        echo "NOTE: bazel() function sourced from envsetup.sh is being used instead of $(which bazel)"

        >&2 echo "NOTE: bazel() function sourced from envsetup.sh is being used instead of $(which bazel)"

        echo

        >&2 echo

    fi

    fi





    "$T/tools/bazel" "$@"

    "$T/tools/bazel" "$@"