diff options
Diffstat (limited to 'tools/pathResolver')
-rwxr-xr-x | tools/pathResolver | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/pathResolver b/tools/pathResolver new file mode 100755 index 0000000000..efff45ea62 --- /dev/null +++ b/tools/pathResolver @@ -0,0 +1,11 @@ +#!/bin/sh +# + +WHICH=`which scala` +BASE=`dirname $WHICH` +LIBDIR=$BASE/../lib + +echo Using ${WHICH}. +echo + +java -cp "${LIBDIR}/*" scala.tools.util.PathResolver $* |