diff options
author | John Cater <jcater@google.com> | 2017-06-07 12:06:10 -0400 |
---|---|---|
committer | John Cater <jcater@google.com> | 2017-06-08 10:52:05 -0400 |
commit | 0425b2d6a50637c2e7dab054e18e1de953382de6 (patch) | |
tree | 17e44b766c0780f6866fe4c3147447acfcbfe555 /tools/platforms | |
parent | e34439cb73cb61b3e22741b0acc4e05568338f0c (diff) |
Add new configuration fragment for platforms, with host and target
options.
Change-Id: If623f2416f8bff7c74ddf99d5c957a075de6494f
PiperOrigin-RevId: 158275892
Diffstat (limited to 'tools/platforms')
-rw-r--r-- | tools/platforms/platforms.BUILD | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/platforms/platforms.BUILD b/tools/platforms/platforms.BUILD index 416de4cb64..6fb275d318 100644 --- a/tools/platforms/platforms.BUILD +++ b/tools/platforms/platforms.BUILD @@ -54,3 +54,6 @@ constraint_value( name = "windows", constraint_setting = ":os", ) + +# A default platform with nothing defined. +platform(name = "default_platform") |