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>
1 file changed