| Index: tool/patch_sdk.dart
|
| diff --git a/tool/patch_sdk.dart b/tool/patch_sdk.dart
|
| index 1324d41193b85bc8b4df04964ead7280b8f4e693..d50e6c252a298c6cde01eccfbd8a517341ff2031 100755
|
| --- a/tool/patch_sdk.dart
|
| +++ b/tool/patch_sdk.dart
|
| @@ -46,6 +46,7 @@ void main(List<String> argv) {
|
| var libContents = new File(path.join(sdkLibIn, '_internal', 'libraries.dart'))
|
| .readAsStringSync();
|
| _writeSync(path.join(sdkOut, '_internal', 'libraries.dart'), libContents);
|
| + _writeSync(path.join(sdkOut, '_internal', 'sdk_library_metadata', 'lib', 'libraries.dart'), libContents);
|
| _writeSync(path.join(sdkOut, '..', 'version'),
|
| new File(path.join(sdkLibIn, '..', 'version')).readAsStringSync());
|
|
|
|
|