From f868d965e1f9104fd4458b79554c9ea40e77e3fa Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 13 Nov 2012 16:06:13 +0400
Subject: [PATCH] Report system-independent source file paths

---
 compiler/cli/src/org/jetbrains/jet/cli/js/K2JSCompiler.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/cli/src/org/jetbrains/jet/cli/js/K2JSCompiler.java b/compiler/cli/src/org/jetbrains/jet/cli/js/K2JSCompiler.java
index 163ab77d5a0..335d16428ff 100644
--- a/compiler/cli/src/org/jetbrains/jet/cli/js/K2JSCompiler.java
+++ b/compiler/cli/src/org/jetbrains/jet/cli/js/K2JSCompiler.java
@@ -112,7 +112,7 @@ public class K2JSCompiler extends CLICompiler<K2JSCompilerArguments> {
                 assert file != null;
                 VirtualFile virtualFile = file.getVirtualFile();
                 if (virtualFile != null) {
-                    return virtualFile.getPath();
+                    return FileUtil.toSystemIndependentName(virtualFile.getPath());
                 }
                 return file.getName() + "(no virtual file)";
             }