| Index: tools/patch_sdk.dart
|
| diff --git a/tools/patch_sdk.dart b/tools/patch_sdk.dart
|
| index 3e587840e616ba0cb1631817cb8c1ed7f238cc38..328f823a527f66765c92b7c8532832d0bc9fcfa3 100644
|
| --- a/tools/patch_sdk.dart
|
| +++ b/tools/patch_sdk.dart
|
| @@ -78,9 +78,6 @@ Future main(List<String> argv) async {
|
| var sdkOut = path.join(outDir, 'lib');
|
| var packagesFile = argv[4];
|
|
|
| - var privateIn = path.join(input, 'private');
|
| - var INTERNAL_PATH = '_internal/compiler/js_lib/';
|
| -
|
| // Copy and patch libraries.dart and version
|
| var libContents = readInputFile(path.join(
|
| sdkLibIn, '_internal', 'sdk_library_metadata', 'lib', 'libraries.dart'));
|
|
|