| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index af590d0252ee5c5d37a93d820c416d97d0a683da..c3aeed9839a04c7a77aa451ec5209bda8759e1b6 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -209,6 +209,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'))
|
|
|