Index: dart/sdk/lib/_internal/compiler/implementation/filenames.dart |
diff --git a/dart/sdk/lib/_internal/compiler/implementation/filenames.dart b/dart/sdk/lib/_internal/compiler/implementation/filenames.dart |
index 939468e0d0b9783038d7d75014827a8f05ad9d47..eb182188c5a7f246e034641e03ff71603b4744c8 100644 |
--- a/dart/sdk/lib/_internal/compiler/implementation/filenames.dart |
+++ b/dart/sdk/lib/_internal/compiler/implementation/filenames.dart |
@@ -11,7 +11,7 @@ import 'dart:io'; |
String nativeToUriPath(String filename) { |
// TODO(ahe): It would be nice to use a Dart library instead. |
- if (Platform.isWindows) return filename; |
+ if (!Platform.isWindows) return filename; |
filename = filename.replaceAll('\\', '/'); |
if (filename.length > 2 && filename[1] == ':') { |
filename = "/$filename"; |
@@ -21,7 +21,7 @@ String nativeToUriPath(String filename) { |
String uriPathToNative(String path) { |
// TODO(ahe): It would be nice to use a Dart library instead. |
- if (Platform.operatingSystem != 'windows') return path; |
+ if (!Platform.isWindows) return filename; |
if (path.length > 3 && path[0] == '/' && path[2] == ':') { |
return path.substring(1).replaceAll('/', '\\'); |
} else { |