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