diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2015-03-13 15:05:37 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@google.com> | 2015-03-16 17:33:36 +0000 |
commit | 8afa8b37e8de0613b408d04643f0956e1ec75413 (patch) | |
tree | 73a3824d0e744c6535f28673d4e74fb01becac3c /WORKSPACE | |
parent | e314e250ba3c102bb6837203eddfb0bf3ea0fd46 (diff) |
Give a name to the Bazel workspace
This way the name of the workspace will always be bazel whichever the
name of the directory you are cloning in.
Especially, the bazel worskpace link will always be bazel-bazel which
is consistent with .gitignore.
--
MOS_MIGRATED_REVID=88546915
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -# bind statements go here. TODO(bazel-team): document this. +workspace(name = "bazel") |