From 921c06c88fd55d9f694f595c8c690f73b8718a0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Doeraene?= <sjrdoeraene@gmail.com>
Date: Sat, 28 Jul 2018 11:15:05 +0200
Subject: [PATCH] Fix `dotr` on Windows: use the right path separator.

`dotr` introduces a custom classpath, which was hard-coded to use
`:` as path separator. This commit uses `File.pathSeparator`
instead, so that it also works on Windows.
---
 project/Build.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/project/Build.scala b/project/Build.scala
index 779020d0b607..9677007a3f7d 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -590,7 +590,8 @@ object Build {
         val dottyLib = jars("dotty-library")
 
         def run(args: List[String]): Unit = {
-          val fullArgs = insertClasspathInArgs(args, s".:$dottyLib:$scalaLib")
+          val sep = File.pathSeparator
+          val fullArgs = insertClasspathInArgs(args, s".$sep$dottyLib$sep$scalaLib")
           runProcess("java" :: fullArgs, wait = true)
         }