diff options
author | Chanwit Kaewkasi <chanwit@gmail.com> | 2018-05-10 16:56:49 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-05-10 16:57:41 -0700 |
commit | 7b6111b695840ab2938abe0d207514dd34081327 (patch) | |
tree | 90961933623d12675a0a17136e19089d1a4fb892 /tools/bazel.rc | |
parent | ac01f245ff4515af2b69225e8b7fb2cf28808275 (diff) |
Display the current git revision in the info block
Change-Id: I9737cc680968033ba82c95bb04cc482fcaa12642
PiperOrigin-RevId: 196192683
Diffstat (limited to 'tools/bazel.rc')
-rw-r--r-- | tools/bazel.rc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/bazel.rc b/tools/bazel.rc new file mode 100644 index 000000000..6e437306c --- /dev/null +++ b/tools/bazel.rc @@ -0,0 +1 @@ +build --workspace_status_command tools/workspace_status.sh |