diff options
Diffstat (limited to 'project')
-rw-r--r-- | project/Build.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/Build.scala b/project/Build.scala index 5eb05202b..0d44fcf65 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -346,7 +346,7 @@ object DottyBuild extends Build { List("-XX:+TieredCompilation", "-XX:TieredStopAtLevel=1") else List() - ("-DpartestParentID=" + pid) :: tuning ::: agentOptions ::: travis_build ::: path.toList + "-XX:+PrintGCDetails" :: ("-DpartestParentID=" + pid) :: tuning ::: agentOptions ::: travis_build ::: path.toList } ). settings(publishing) |