diff options
| author | Iulian Dragos <jaguarul@gmail.com> | 2010-12-31 12:37:22 +0000 |
|---|---|---|
| committer | Iulian Dragos <jaguarul@gmail.com> | 2010-12-31 12:37:22 +0000 |
| commit | 2af07fb5894c130b2d4126e20996510017b220e9 (patch) | |
| tree | a86944dc3f15aa063b46bfb66265bbd64c956efc /src | |
| parent | 0cdd234b1a434b6d7fa4a282f5ca3ee4f2e2bd21 (diff) | |
| download | scala-2af07fb5894c130b2d4126e20996510017b220e9.tar.gz scala-2af07fb5894c130b2d4126e20996510017b220e9.tar.bz2 scala-2af07fb5894c130b2d4126e20996510017b220e9.zip | |
Add option -toolcp to our runner script.
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/ant/templates/tool-unix.tmpl | 8 |
1 files changed, 7 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 0891ef8316..4227e19a50 100644 --- a/src/compiler/scala/tools/ant/templates/tool-unix.tmpl +++ b/src/compiler/scala/tools/ant/templates/tool-unix.tmpl @@ -82,7 +82,6 @@ fi # -D options will be available as system properties. declare -a java_args declare -a scala_args -CPSWITCH="-cp $TOOL_CLASSPATH" while [ $# -gt 0 ]; do case "$1" in @@ -90,6 +89,10 @@ while [ $# -gt 0 ]; do java_args=("${java_args[@@]}" "$1") shift ;; + -toolcp) + TOOL_CLASSPATH="$TOOL_CLASSPATH:$2" + shift + ;; -J*) java_args=("${java_args[@@]}" "${1:2}") shift @@ -104,6 +107,9 @@ while [ $# -gt 0 ]; do ;; esac done + +: ${CPSWITCH:="-cp $TOOL_CLASSPATH"} + # reset "$@@" to the remaining args set -- "${scala_args[@@]}" |