diff options
Diffstat (limited to 'src/dotty/tools/dotc/config/Properties.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/Properties.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/config/Properties.scala b/src/dotty/tools/dotc/config/Properties.scala index d592a7bb1..ec1f24d06 100644 --- a/src/dotty/tools/dotc/config/Properties.scala +++ b/src/dotty/tools/dotc/config/Properties.scala @@ -12,7 +12,7 @@ object Properties extends PropertiesTrait { /** Scala manifest attributes. */ - val ScalaCompilerVersion = new AttributeName("Scala-Compiler-Version") + @sharable val ScalaCompilerVersion = new AttributeName("Scala-Compiler-Version") } trait PropertiesTrait { @@ -23,7 +23,7 @@ trait PropertiesTrait { protected val propFilename = "/" + propCategory + ".properties" /** The loaded properties */ - protected lazy val scalaProps: java.util.Properties = { + @sharable protected lazy val scalaProps: java.util.Properties = { val props = new java.util.Properties val stream = pickJarBasedOn getResourceAsStream propFilename if (stream ne null) |