From 7171cd4cc5d7e14b49f6e03593b05d9016579c52 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 10 Jun 2013 14:45:11 +0400
Subject: [PATCH] Path separator must be constant

TeamCity agents have different OS'es, but build parameters are fixed
---
 .../jet/jps/build/KotlinBuilderModuleScriptGenerator.java       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jps-plugin/src/org/jetbrains/jet/jps/build/KotlinBuilderModuleScriptGenerator.java b/jps-plugin/src/org/jetbrains/jet/jps/build/KotlinBuilderModuleScriptGenerator.java
index 593cf2407c6..33b523dab54 100644
--- a/jps-plugin/src/org/jetbrains/jet/jps/build/KotlinBuilderModuleScriptGenerator.java
+++ b/jps-plugin/src/org/jetbrains/jet/jps/build/KotlinBuilderModuleScriptGenerator.java
@@ -134,7 +134,7 @@ public class KotlinBuilderModuleScriptGenerator {
         // is not available on TeamCity. When running on TeamCity, one has to provide extra path to JDK annotations
         String extraAnnotationsPaths = System.getProperty("jps.kotlin.extra.annotation.paths");
         if (extraAnnotationsPaths != null) {
-            String[] paths = extraAnnotationsPaths.split(File.pathSeparator);
+            String[] paths = extraAnnotationsPaths.split(";");
             for (String path : paths) {
                 annotationRootFiles.add(new File(path));
             }