From 19b206378db655c1e5eec9bfca9f65de3d3d2a22 Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Mon, 23 Jan 2012 03:37:04 +0400
Subject: [PATCH] Allow to specify java launcher options for bin/kotlin

---
 bin/kotlin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/kotlin b/bin/kotlin
index a8b911ec7be..4f03952c5b3 100755
--- a/bin/kotlin
+++ b/bin/kotlin
@@ -22,7 +22,7 @@ classpath="$classpath:$root/out/production/backend:$root/out/production/frontend
 classpath="$classpath:$root/out/production/stdlib"
 classpath="$classpath:$root/lib/*:$ideaRoot/lib/*:$ideaRoot/lib/rt/*"
 
-exec java \
+exec java $JAVA_OPTS \
     -classpath "$classpath" \
     org.jetbrains.jet.cli.KotlinCompiler \
     "$@"