tree 7b4b3d2969633a618b6f484ad513c4cf2f0435ed
parent c5c82509b1814d6732b4bd09175b8fc7c489b673
author Jack Rosenthal <jrosenth@chromium.org> 1707860728 -0700
committer Jack Rosenthal <jrosenth@chromium.org> 1707860728 -0700

tools/run_dev.sh: Allow specifying BAZEL

On my system, I installed bazelisk as suggested by the developer
guide.  Allow users to export BAZEL=... to specify which bazel command
they want to use to build.

Change-Id: I15c5a575e757a8f99104aa01a75c28b8c448de15