commit | 93703789adadda82bb1e22eb4316db946f38219f | [log] [tgz] |
---|---|---|
author | Dave Borowitz <dborowitz@google.com> | Wed May 24 20:53:59 2017 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed May 24 20:54:00 2017 +0000 |
tree | 47c4d86e029811b3cf041d92d7c96551a4143660 | |
parent | 2f9bbe35c860f45e303adf360448d80dc330a777 [diff] | |
parent | 7f1578380077790c2fa668cae09e8577fc1d4756 [diff] |
Merge "Use bash to run bazel generated script"
diff --git a/tools/run_dev.sh b/tools/run_dev.sh index 57f365e..ce1afa3 100755 --- a/tools/run_dev.sh +++ b/tools/run_dev.sh
@@ -29,4 +29,4 @@ bazel build gitiles-dev:dev ) -sh $ROOT/bazel-bin/gitiles-dev/dev $PROPERTIES +"$ROOT/bazel-bin/gitiles-dev/dev" $PROPERTIES