| Index: tool/patch_sdk.dart
|
| diff --git a/tool/patch_sdk.dart b/tool/patch_sdk.dart
|
| index 1324d41193b85bc8b4df04964ead7280b8f4e693..5734f392112fded444019790f69675fe6750c8ea 100755
|
| --- a/tool/patch_sdk.dart
|
| +++ b/tool/patch_sdk.dart
|
| @@ -46,6 +46,9 @@ 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());
|
|
|
|
|