commit 071630363906f19b6646f6a61292f035f8aa54e5
author Kristina Chodorow <kchodorow@google.com> Fri Sep 04 17:37:17 2015 +0000
committer Damien Martin-Guillerez <dmarting@google.com> Fri Sep 04 17:44:04 2015 +0000
tree a879436fa572ed3e02e08435ea22918c7130e0f7
parent a708acd02baf3821c975801ae0e5cad6867a6735

Move generate_workspace to src/tools

Seems like a better location for it (easier for people to run than
src/main/java/com/google/devtools/build etc).

--
MOS_MIGRATED_REVID=102354250

src/BUILD

diff --git a/src/BUILD b/src/BUILD
index e9c0f3d..3d672ad 100644
--- a/src/BUILD
+++ b/src/BUILD
@@ -10,8 +10,8 @@
         "//conditions:default": ["//src/main/native:libunix.so"],
     }),
     visibility = [
-        "//src/main/java/com/google/devtools/build/workspace:__pkg__",
         "//src/test/java:__pkg__",
+        "//src/tools/generate_workspace:__pkg__",
     ],
 )