| Index: tools/create_sdk.py
|
| ===================================================================
|
| --- tools/create_sdk.py (revision 21247)
|
| +++ tools/create_sdk.py (working copy)
|
| @@ -199,7 +199,7 @@
|
|
|
| os.makedirs(join(LIB, 'html'))
|
|
|
| - for library in ['_internal/compiler/implementation/lib',
|
| + for library in ['_internal',
|
| 'async', 'collection', '_collection_dev', 'core',
|
| 'crypto', 'io', 'isolate',
|
| join('chrome', 'dart2js'), join('chrome', 'dartium'),
|
| @@ -215,11 +215,6 @@
|
| copytree(join(HOME, 'sdk', 'lib', library), join(LIB, library),
|
| ignore=ignore_patterns('*.svn', 'doc', '*.py', '*.gypi', '*.sh'))
|
|
|
| - # This is used by both the editor and dart2js, remove this once we moved
|
| - # out the compiler functionality from sdk/lib/_internal. See issue 9801.
|
| - copyfile(join(HOME, 'sdk', 'lib', '_internal', 'libraries.dart'),
|
| - join(LIB, '_internal', 'libraries.dart'))
|
| -
|
| # Create and copy packages.
|
| PACKAGES = join(SDK_tmp, 'packages')
|
| os.makedirs(PACKAGES)
|
|
|