diff options
author | Paul Phillips <paulp@improving.org> | 2010-12-07 05:08:48 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-12-07 05:08:48 +0000 |
commit | 43b59488c1568c2a738e1297bcf317c1a2a0bbee (patch) | |
tree | 8a1a07161de723a8673f738696b338f0098a25cb /src | |
parent | fbe897d165bfbb8cda05e4b25f0f773288653f54 (diff) | |
download | scala-43b59488c1568c2a738e1297bcf317c1a2a0bbee.tar.gz scala-43b59488c1568c2a738e1297bcf317c1a2a0bbee.tar.bz2 scala-43b59488c1568c2a738e1297bcf317c1a2a0bbee.zip |
Oops, lost some java options for a moment there.
Diffstat (limited to 'src')
-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 \ |