tree f1f0492b2754fc1c69b2cb7bab45ac8aaa338d42
parent 7ef654a1943c71ed95b3c6d50c4141c19e99ddf1
author Don Garrett <dgarrett@google.com> 1310077827 -0700
committer Don Garrett <dgarrett@chromium.org> 1310078544 -0700

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>