diff options
author | 2016-02-23 15:20:59 +0000 | |
---|---|---|
committer | 2016-02-23 22:16:50 +0000 | |
commit | da88192f91398de4a683ed292ff22f287d63241f (patch) | |
tree | 8e160a130a377695323635f5fda0540a6c86b6e5 /src/main/java/com/google/devtools/build/lib/BUILD | |
parent | 1ba4a643b39f6781e8674d39af6a705aa3810bc5 (diff) |
Implements repository_ctx.os
repository_ctx.os gives access to os related information:
- .system returns the name of the current platform.
- .environ returns the list of environment variables.
Issue #893: Step 4 of http://goo.gl/OZV3o0. See http://goo.gl/fD4ZsY.
--
MOS_MIGRATED_REVID=115337406
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/BUILD')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/BUILD b/src/main/java/com/google/devtools/build/lib/BUILD index c9ed05fb45..8a1eb0da79 100644 --- a/src/main/java/com/google/devtools/build/lib/BUILD +++ b/src/main/java/com/google/devtools/build/lib/BUILD @@ -601,6 +601,7 @@ java_library( ":concurrent", ":events", ":maven-connector", + ":runtime", ":util", "//src/java_tools/singlejar/java/com/google/devtools/build/zip", "//src/main/java/com/google/devtools/build/lib:build-base", |