# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1328864879 -3600
# Node ID fd29e12b3a2ee1c955d29024a10849454c7edc53
# Parent  ee88f708d3ce2989738df9a00995593280defe1b
give Maven's VM more room to breathe

diff -r ee88f708d3ce -r fd29e12b3a2e zshrc-maven
--- a/zshrc-maven	Mon Jan 30 12:07:35 2012 +0100
+++ b/zshrc-maven	Fri Feb 10 10:07:59 2012 +0100
@@ -2,6 +2,8 @@
 # zshrc for Maven
 #
 
+export MAVEN_OPTS="-Xmx768m"
+
 switchMaven() {
     local maven_version="$1"
     local new_path=`removeFromPath "maven"`