diff options
-rw-r--r-- | project/Build.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/project/Build.scala b/project/Build.scala index 8b7238a09..f9c934dab 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -8,7 +8,7 @@ object DottyBuild extends Build { // Currently, this cannot be increased without hitting the maximum amount of memory // available on the Jenkins VMs - val travisMemLimit = List("-Xmx1100m") + val jenkinsMemLimit = List("-Xmx1100m") val JENKINS_BUILD = "dotty.jenkins.build" @@ -126,7 +126,7 @@ object DottyBuild extends Build { val travis_build = // propagate if this is a travis build if (sys.props.isDefinedAt(JENKINS_BUILD)) - List(s"-D$JENKINS_BUILD=${sys.props(JENKINS_BUILD)}") ::: travisMemLimit + List(s"-D$JENKINS_BUILD=${sys.props(JENKINS_BUILD)}") ::: jenkinsMemLimit else List() |