| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 431b2a8b8da28ad1dff958349f15ef6cf9f00e12..74871999c76e4d0f5bc802b9890fc9d3cad94e9c 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -145,7 +145,7 @@ def CopyDartdocResources(home,sdk_root):
|
| PACKAGES_FILE = join(DARTDOC, '.packages')
|
| packages_file = open(PACKAGES_FILE, 'w')
|
| packages_file.write('dartdoc:.')
|
| - packages_file.close()
|
| + packages_file.close()
|
|
|
|
|
| def Main():
|
| @@ -232,7 +232,7 @@ def Main():
|
| join('html', 'dart2js'), join('html', 'dartium'),
|
| join('html', 'html_common'),
|
| join('indexed_db', 'dart2js'), join('indexed_db', 'dartium'),
|
| - 'js', 'math', 'mirrors', 'profiler', 'typed_data',
|
| + 'js', 'math', 'mirrors', 'typed_data',
|
| join('svg', 'dart2js'), join('svg', 'dartium'),
|
| join('web_audio', 'dart2js'), join('web_audio', 'dartium'),
|
| join('web_gl', 'dart2js'), join('web_gl', 'dartium'),
|
|
|