diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2015-03-13 15:36:43 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@google.com> | 2015-03-16 17:33:50 +0000 |
commit | 3a5769bae2908d9351692b922395dfa32af097bd (patch) | |
tree | c489417a579968972d203b5f9d574b5054d90bf4 /WORKSPACE | |
parent | bd6d60b874911e5176224b8677d7448227f387d9 (diff) |
Rolling-back giving a name to the Bazel workspace
Reason: there was no real reason for this, the bazel workspace link IS
always bazel-bazel.
---
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=88549106
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1 +0,0 @@ -workspace(name = "bazel") |