Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index 4935576ac90eb90ec1c357f513f3274528c88fc2..c9dec1ba42068861204252a0fa8f8f7b1d19167f 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -210,7 +210,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'), |