diff options
author | 2015-09-04 17:37:17 +0000 | |
---|---|---|
committer | 2015-09-04 17:44:04 +0000 | |
commit | 071630363906f19b6646f6a61292f035f8aa54e5 (patch) | |
tree | a879436fa572ed3e02e08435ea22918c7130e0f7 /src/main/java/BUILD | |
parent | a708acd02baf3821c975801ae0e5cad6867a6735 (diff) |
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
Diffstat (limited to 'src/main/java/BUILD')
-rw-r--r-- | src/main/java/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/BUILD b/src/main/java/BUILD index 357f843867..5b2be772ea 100644 --- a/src/main/java/BUILD +++ b/src/main/java/BUILD @@ -419,8 +419,8 @@ java_library( "//third_party:jquery", ], visibility = [ - "//src/main/java/com/google/devtools/build/workspace:__pkg__", "//src/test/java:__subpackages__", + "//src/tools/generate_workspace/src/main/java/com/google/devtools/build/workspace:__pkg__", ], runtime_deps = [ "//third_party:aether", |