Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index 11ff386ae831889bc98602e45d9218130a7bd0cc..5cf2b1a0f28ef234e359ea996e793429ff18a96b 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -149,7 +149,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(): |
@@ -236,7 +236,7 @@ def Main(): |
join('html', 'dart2js'), join('html', 'dartium'), |
join('html', 'html_common'), |
join('indexed_db', 'dart2js'), join('indexed_db', 'dartium'), |
- 'js', 'math', 'mirrors', 'typed_data', |
+ 'js', 'math', 'mirrors', 'profiler', 'typed_data', |
join('svg', 'dart2js'), join('svg', 'dartium'), |
join('web_audio', 'dart2js'), join('web_audio', 'dartium'), |
join('web_gl', 'dart2js'), join('web_gl', 'dartium'), |