| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 1424c4d68192b4e37b5bf6b938c2fa4e831995ab..8d59679865f38817e0d2fa5b544c47599b2bb01a 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -205,12 +205,12 @@ def Main():
|
| for library in [join('_blink', 'dartium'),
|
| join('_chrome', 'dart2js'), join('_chrome', 'dartium'),
|
| join('_internal', 'compiler'),
|
| - 'async', 'collection', 'convert', 'core',
|
| + 'async', 'collection', 'convert', 'core', 'debugger',
|
| 'internal', 'io', 'isolate',
|
| join('html', 'dart2js'), join('html', 'dartium'),
|
| join('html', 'html_common'),
|
| join('indexed_db', 'dart2js'), join('indexed_db', 'dartium'),
|
| - 'js', 'math', 'mirrors', 'typed_data', 'profiler',
|
| + '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'),
|
|
|