| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 8d59679865f38817e0d2fa5b544c47599b2bb01a..c9dec1ba42068861204252a0fa8f8f7b1d19167f 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -205,7 +205,7 @@ def Main():
|
| for library in [join('_blink', 'dartium'),
|
| join('_chrome', 'dart2js'), join('_chrome', 'dartium'),
|
| join('_internal', 'compiler'),
|
| - 'async', 'collection', 'convert', 'core', 'debugger',
|
| + 'async', 'collection', 'convert', 'core', 'developer',
|
| 'internal', 'io', 'isolate',
|
| join('html', 'dart2js'), join('html', 'dartium'),
|
| join('html', 'html_common'),
|
|
|