| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 5843aa5691d36372287f7a33ae1798465566f825..f078f0f2ad34753e318eaaf7ac3902f5e8f01b9d 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -210,6 +210,7 @@ def Main(argv):
|
| join('svg', 'dart2js'), join('svg', 'dartium'),
|
| 'uri', 'utf',
|
| join('web_audio', 'dart2js'), join('web_audio', 'dartium'),
|
| + join('web_gl', 'dart2js'), join('web_gl', 'dartium'),
|
| join('web_sql', 'dart2js'), join('web_sql', 'dartium')]:
|
| copytree(join(HOME, 'sdk', 'lib', library), join(LIB, library),
|
| ignore=ignore_patterns('*.svn', 'doc', '*.py', '*.gypi', '*.sh'))
|
|
|