diff options
author | 2016-02-02 20:26:25 +0000 | |
---|---|---|
committer | 2016-02-03 03:04:31 +0000 | |
commit | be93951554c57d910ed2eb7b11556a057bb5a64a (patch) | |
tree | 8afe9fe9e1989720d0a2ec195a8700ea76dd565f /src/main/java/com/google/devtools/build | |
parent | 4efc279e1c584ed5f6e66bb82fac5f915a52ac9f (diff) |
Use WindowsFileSystem for bootstrapping on Windows as well.
--
MOS_MIGRATED_REVID=113664915
Diffstat (limited to 'src/main/java/com/google/devtools/build')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java index 6c04c288b7..9cd7a56edc 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/BlazeRuntime.java @@ -990,7 +990,7 @@ public final class BlazeRuntime { private static FileSystem fileSystemImplementation() { if ("0".equals(System.getProperty("io.bazel.UnixFileSystem"))) { // Ignore UnixFileSystem, to be used for bootstrapping. - return new JavaIoFileSystem(); + return OS.getCurrent() == OS.WINDOWS ? new WindowsFileSystem() : new JavaIoFileSystem(); } // The JNI-based UnixFileSystem is faster, but on Windows it is not available. return OS.getCurrent() == OS.WINDOWS ? new WindowsFileSystem() : new UnixFileSystem(); |