commit | 4a9325a979ec9048f21473f89e04322dcdb5f6f5 | [log] [tgz] |
---|---|---|
author | Don Garrett <dgarrett@google.com> | Thu Jul 07 15:30:27 2011 -0700 |
committer | Don Garrett <dgarrett@chromium.org> | Thu Jul 07 15:42:24 2011 -0700 |
tree | f1f0492b2754fc1c69b2cb7bab45ac8aaa338d42 | |
parent | 7ef654a1943c71ed95b3c6d50c4141c19e99ddf1 [diff] |
Disable platform_ToolchainOptions to get the tree green. Hopefully it will be re-enabled soon. BUG=chromium-os:17361 TEST=None Change-Id: I40170576179df4f3992c00f79b9c2925298a1a3b Reviewed-on: http://gerrit.chromium.org/gerrit/3760 Tested-by: Don Garrett <dgarrett@chromium.org> Reviewed-by: Don Garrett <dgarrett@chromium.org>