Index: tools/patch_sdk.dart |
diff --git a/tools/patch_sdk.dart b/tools/patch_sdk.dart |
index 64038458e20e667185fccd0c72cc514f3e8ffb32..90d996c098e2cfadfeb1ed1aacc20b8f9c8fad89 100644 |
--- a/tools/patch_sdk.dart |
+++ b/tools/patch_sdk.dart |
@@ -168,19 +168,6 @@ String _updateLibraryMetadata(String sdkOut, String libContents) { |
"profiler/profiler.dart", |
maturity: Maturity.DEPRECATED, |
documented: false), |
- |
- "_vmservice": const LibraryInfo( |
- "vmservice/vmservice.dart", |
- implementation: true, |
- documented: false, |
- platforms: VM_PLATFORM), |
- |
- "vmservice_io": const LibraryInfo( |
- "vmservice_io/vmservice_io.dart", |
- implementation: true, |
- documented: false, |
- platforms: VM_PLATFORM), |
- |
'''); |
_writeSync( |
path.join( |
@@ -214,6 +201,7 @@ _copyExtraVmLibraries(String sdkOut, Map<String, String> locations) { |
_writeSync(libraryOut, readInputFile(libraryIn)); |
} |
locations["vmservice_io"] = "vmservice_io/vmservice_io.dart"; |
+ locations["_vmservice"] = "vmservice/vmservice.dart"; |
siva
2017/06/09 22:54:50
Do we still need to copy the vmservice_io.dart, lo
sivachandra
2017/06/12 20:39:43
I think what you are saying is that, if the vmserv
Siggi Cherem (dart-lang)
2017/06/14 00:12:39
It is actually possible to avoid the copying if we
|
} |
_applyPatch(SdkLibrary library, String sdkLibIn, String patchIn, String sdkOut, |