Merge pull request #1135 from dotty-staging/add/more-memory-2

 Build.scala: increase Jenkins max heap from 1.1G to 1.3G

Author: DarkDimius

project/Build.scala

@@ -6,9 +6,7 @@ import scala.reflect.io.Path
 
 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("-Xmx1300m")
 
   val JENKINS_BUILD = "dotty.jenkins.build"
 
@@ -126,7 +124,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()