diff options
| author | Michael Pratt <mpratt@google.com> | 2018-11-06 13:11:56 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-11-06 13:12:50 -0800 |
| commit | 6ae1c90b891fdefa47c9be943369a7e7bbd75907 (patch) | |
| tree | b3533ed6a75db7807369bb3c97186ad7689549dc /tools | |
| parent | 9256ed528305ab71f5acb8f1d79a2f74622f9d4c (diff) | |
Move bazelrc to new location
Bazel 0.18 moved the workspace bazelrc location from //tools/bazel.rc to
//.bazelrc. The old location will be dropped by a future version of
bazel.
This bumps the minimum required version of bazel to 0.18.
More context:
https://groups.google.com/forum/#!msg/bazel-discuss/ycDacctX2vw/EGFxGLibAgAJ
PiperOrigin-RevId: 220338084
Change-Id: Ib6fa83a4a0f89e8e898d67152c7bd429e0b9b21e
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/bazel.rc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/bazel.rc b/tools/bazel.rc deleted file mode 100644 index 6e437306c..000000000 --- a/tools/bazel.rc +++ /dev/null @@ -1 +0,0 @@ -build --workspace_status_command tools/workspace_status.sh |