commit 9794cfd75c93f98aa96261c4269e05b922cddff3
author Ian Zerny <zerny@google.com> Tue Feb 04 07:57:35 2020 +0100
committer Ian Zerny <zerny@google.com> Tue Feb 04 07:45:07 2020 +0000
tree 80859792a192467afdf803c9aec0e73d13c7b0af
parent bdd21e3726be349000400bda2b603d611991824b

Increase VM memory for the gradle daemon.

This also improved the printing of exec commands for easier copy/paste.

Change-Id: I584644969bc999cdc108b65258b95f248f4adff2

tools/gradle.py

diff --git a/tools/gradle.py b/tools/gradle.py
index 0e926e6..a52e3f3 100755
--- a/tools/gradle.py
+++ b/tools/gradle.py
@@ -41,6 +41,7 @@
 def GetJavaEnv(env):
   java_env = dict(env if env else os.environ, JAVA_HOME = jdk.GetJdkHome())
   java_env['PATH'] = java_env['PATH'] + os.pathsep + os.path.join(jdk.GetJdkHome(), 'bin')
+  java_env['GRADLE_OPTS'] = '-Xmx1g'
   return java_env
 
 def PrintCmd(s):