| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 65f585e055f2788f867588c3f2dda74eee178020..dad929bdba1793e870cd2f53cb45ebf981264dfc 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -59,6 +59,7 @@
|
| # ......io/
|
| # ......isolate/
|
| # ......js/
|
| +# ......js_util/
|
| # ......math/
|
| # ......mirrors/
|
| # ......typed_data/
|
| @@ -254,7 +255,7 @@ def Main():
|
| join('html', 'dart2js'), join('html', 'dartium'),
|
| join('html', 'html_common'),
|
| join('indexed_db', 'dart2js'), join('indexed_db', 'dartium'),
|
| - 'js', 'math', 'mirrors', 'profiler', 'typed_data',
|
| + 'js', 'js_util', 'math', 'mirrors', 'profiler', 'typed_data',
|
| join('svg', 'dart2js'), join('svg', 'dartium'),
|
| join('web_audio', 'dart2js'), join('web_audio', 'dartium'),
|
| join('web_gl', 'dart2js'), join('web_gl', 'dartium'),
|
|
|