diff options
| -rw-r--r-- | src/compiler/scala/tools/ant/templates/tool-unix.tmpl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/ant/templates/tool-unix.tmpl b/src/compiler/scala/tools/ant/templates/tool-unix.tmpl index 25616c171a..4708462c62 100644 --- a/src/compiler/scala/tools/ant/templates/tool-unix.tmpl +++ b/src/compiler/scala/tools/ant/templates/tool-unix.tmpl @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash --posix # ############################################################################## # Copyright 2002-2010, LAMP/EPFL @@ -98,6 +98,7 @@ if [ -z "$JAVACMD" -a -n "$JAVA_HOME" -a -x "$JAVA_HOME/bin/java" ]; then fi exec "${JAVACMD:=java}" \ + $JAVA_OPTS \ "${java_args[@@]}" \ $CPSWITCH \ -Dscala.usejavacp=true \ |