| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 02a804a98cdb269dc4f737d517784e863d3ca2dc..0c579a76d95f359eab911f877c5ba082d0359866 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -341,6 +341,8 @@ def Main(argv):
|
| join(html_dest_dir, 'html_frog.dart'))
|
| copyfile(join(html_src_dir, 'dartium', 'html_dartium.dart'),
|
| join(html_dest_dir, 'html_dartium.dart'))
|
| + copyfile(join(html_src_dir, 'dartium', 'nativewrappers.dart'),
|
| + join(html_dest_dir, 'nativewrappers.dart'))
|
|
|
| #
|
| # Create and populate lib/dom.
|
|
|