From f63f3783fcb1152d31f39697383a0ae2caf2867c Mon Sep 17 00:00:00 2001
From: Maxim Shafirov <max@jetbrains.com>
Date: Mon, 10 Apr 2006 17:45:06 +0400
Subject: [PATCH] IDEADEV-5525. Ability to have alternative idea.vmoptions

---
 bin/idea.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/bin/idea.sh b/bin/idea.sh
index aadf18c7264e..ba210e7d1940 100644
--- a/bin/idea.sh
+++ b/bin/idea.sh
@@ -35,8 +35,12 @@ if [ -z "$IDEA_MAIN_CLASS_NAME" ]; then
   IDEA_MAIN_CLASS_NAME="com.intellij.idea.Main"
 fi
 
+if [ -z "$IDEA_VM_OPTIONS" ]; then
+  IDEA_VM_OPTIONS="$IDEA_HOME/bin/idea.vmoptions"
+fi
+
 REQUIRED_JVM_ARGS="-Xbootclasspath/p:../lib/boot.jar: $IDEA_PROPERTIES_PROPERTY"
-JVM_ARGS=`tr '\n' ' ' < "$IDEA_HOME/bin/idea.vmoptions"`
+JVM_ARGS=`tr '\n' ' ' < "$IDEA_VM_OPTIONS"`
 JVM_ARGS="$JVM_ARGS $REQUIRED_JVM_ARGS"
 
 CLASSPATH=../lib/idea.jar