| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index a8df879c09bbea013c07381a9b014d8669e4cb94..28882b97399fdfb2a534d65796f2fbe9712977f4 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -25,7 +25,7 @@
|
| # ......_internal/
|
| # ......async/
|
| # ......collection/
|
| -# ......_collection_dev/
|
| +# ......collection_dev/
|
| # ......core/
|
| # ......crypto/
|
| # ......html/
|
| @@ -199,7 +199,7 @@ def Main(argv):
|
| #
|
|
|
| os.makedirs(join(LIB, 'html'))
|
| - for library in ['_internal', 'async', 'collection', '_collection_dev', 'core',
|
| + for library in ['_internal', 'async', 'collection', 'collection_dev', 'core',
|
| 'crypto', 'io', 'isolate',
|
| join('chrome', 'dart2js'), join('chrome', 'dartium'),
|
| join('html', 'dart2js'), join('html', 'dartium'),
|
|
|