Build scalac-profiling for Scala 2.12.19

scalacenter · Mar 2, 2024 · 6b75aae · 6b75aae
1 parent ddfdc99
commit 6b75aae
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -24,7 +24,7 @@ lazy val root = project
         (integrations / watchSources).value
   )
 
-val bin212 = Seq("2.12.18", "2.12.17", "2.12.16", "2.12.15", "2.12.14", "2.12.13")
+val bin212 = Seq("2.12.19", "2.12.18", "2.12.17", "2.12.16", "2.12.15", "2.12.14", "2.12.13")
 val bin213 = Seq("2.13.12", "2.13.11", "2.13.10", "2.13.9", "2.13.8", "2.13.7", "2.13.6", "2.13.5")
 
 // Copied from

diff --git a/plugin/src/main/scala-2.12.19/tools/SettingsOps.scala b/plugin/src/main/scala-2.12.19/tools/SettingsOps.scala
@@ -0,0 +1,8 @@
+package ch.epfl.scala.profilers.tools
+
+import scala.tools.nsc.Global
+
+object SettingsOps {
+  def areStatisticsEnabled(g: Global): Boolean =
+    g.settings.areStatisticsEnabled
+}