| commit | 278814b0fbf4ddf19d58344481814b8cd6e70c7d | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Fri Jul 15 14:41:54 2016 +0000 |
| committer | Yun Peng <pcloudy@google.com> | Mon Jul 18 10:42:56 2016 +0000 |
| tree | 97cd69ea04915d8e66d798eecc42fd720f50ef99 | |
| parent | 28764a346a5a2ec4d0b3cf73007412d712a635bd [diff] [blame] |
Rename namespace-sandbox/-runner to linux-sandbox. -- MOS_MIGRATED_REVID=127538990
diff --git a/src/main/java/com/google/devtools/build/lib/sandbox/BUILD b/src/main/java/com/google/devtools/build/lib/sandbox/BUILD index 1fe3fba..6071bfc 100644 --- a/src/main/java/com/google/devtools/build/lib/sandbox/BUILD +++ b/src/main/java/com/google/devtools/build/lib/sandbox/BUILD
@@ -6,7 +6,7 @@ name = "sandbox", srcs = glob(["*.java"]), data = [ - "//src/main/tools:namespace-sandbox", + "//src/main/tools:linux-sandbox", ], deps = [ "//src/main/java/com/google/devtools/build/lib:build-base",