| Index: tool/patch_sdk.dart
|
| diff --git a/tool/patch_sdk.dart b/tool/patch_sdk.dart
|
| index 5734f392112fded444019790f69675fe6750c8ea..b4a09890ca171c94073c5efbf48eaca94e1ca96f 100755
|
| --- a/tool/patch_sdk.dart
|
| +++ b/tool/patch_sdk.dart
|
| @@ -37,8 +37,6 @@ void main(List<String> argv) {
|
| var patchIn = path.join(input, 'patch');
|
| var privateIn = path.join(input, 'private');
|
| var sdkOut = path.join(argv[1], 'lib');
|
| - var privateLibOut =
|
| - path.normalize(path.join(sdkOut, '_internal', 'compiler', 'js_lib'));
|
|
|
| var INTERNAL_PATH = '_internal/compiler/js_lib/';
|
|
|
|
|