.bashrc: add MAVEN_OPTS giving Maven more memory

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>

diff --git a/.bashrc b/.bashrc
index 07c0f53..cdfad13 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -47,6 +47,9 @@ if [ -f "${JAVA_HOME}" ]; then
         :
 else
         export PATH="${PATH}:${JAVA_HOME}/bin"
+
+        # Maven always needs more memory than the default.
+        export MAVEN_OPTS="-Xms512m -Xmx1024m -XX:PermSize=256m -XX:MaxPermSize=512m"
 fi
 # Perturb malloc so that we spot bugs quicker!
 export MALLOC_PERTURB_=$(($RANDOM % 255 + 1))