diff options
author | Nikolay.Tropin <Nikolay.Tropin@jetbrains.com> | 2017-03-06 12:21:00 +0300 |
---|---|---|
committer | Nikolay.Tropin <Nikolay.Tropin@jetbrains.com> | 2017-03-06 12:21:00 +0300 |
commit | 2c6052d97334ecafb10e2a6be5f11de2fa78f4cd (patch) | |
tree | 3d28fa16db90fcd1e09532d2b5d8943328550e94 /compiler/src/dotty/tools/dotc/config/ScalaSettings.scala | |
parent | feaa0aeb691b24a407ccc9f371e7a1ae6545b33c (diff) | |
download | dotty-2c6052d97334ecafb10e2a6be5f11de2fa78f4cd.tar.gz dotty-2c6052d97334ecafb10e2a6be5f11de2fa78f4cd.tar.bz2 dotty-2c6052d97334ecafb10e2a6be5f11de2fa78f4cd.zip |
fixed PatternSyntaxException on Windows
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/ScalaSettings.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/config/ScalaSettings.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala index fd79fcaa6..40e2b083b 100644 --- a/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/compiler/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -1,6 +1,8 @@ package dotty.tools.dotc package config +import java.io.File + import PathResolver.Defaults import rewrite.Rewrites @@ -111,7 +113,7 @@ class ScalaSettings extends Settings.SettingGroup { "-project", "project title", "The name of the project", - sys.props("user.dir").split(sys.props("file.separator")).last + sys.props("user.dir").split(File.separatorChar).last ) val wikiSyntax = BooleanSetting("-Xwiki-syntax", "Retains the Scala2 behavior of using Wiki Syntax in Scaladoc") |