| 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'),
 | 
| 
 |