Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index f70bdfcc7d1a155a6196a8bd119a5579994ee02d..4a689002008b960f9bce797a6c40e5b9293e44f9 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -204,7 +204,7 @@ def Main(argv): |
join('html', 'dart2js'), join('html', 'dartium'), |
join('html', 'html_common'), |
join('indexed_db', 'dart2js'), join('indexed_db', 'dartium'), |
- 'js', 'json', 'math', 'mirrors', 'typed_data', |
+ 'js', 'json', 'math', 'mirrors', 'platform', 'typed_data', |
join('svg', 'dart2js'), join('svg', 'dartium'), |
'utf', |
join('web_audio', 'dart2js'), join('web_audio', 'dartium'), |