diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-03-06 20:55:42 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-06 20:55:42 +0900 |
| commit | c90ea6b62de5d70f8855b377688f62c40dfe3a66 (patch) | |
| tree | 642cf08408e0213ef0b749551b7d37f1c324d5ec /compiler/src/dotty/tools | |
| parent | 6131175a28fb4301bec666abfab2757cfd5af58c (diff) | |
| parent | 2c6052d97334ecafb10e2a6be5f11de2fa78f4cd (diff) | |
| download | dotty-c90ea6b62de5d70f8855b377688f62c40dfe3a66.tar.gz dotty-c90ea6b62de5d70f8855b377688f62c40dfe3a66.tar.bz2 dotty-c90ea6b62de5d70f8855b377688f62c40dfe3a66.zip | |
Merge pull request #2053 from niktrop/splitOnChar
fixed PatternSyntaxException on Windows
Diffstat (limited to 'compiler/src/dotty/tools')
| -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") |