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/'; |