diff options
Diffstat (limited to 'tools/profile_scala')
-rwxr-xr-x | tools/profile_scala | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/profile_scala b/tools/profile_scala deleted file mode 100755 index 037fc327bd..0000000000 --- a/tools/profile_scala +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash -# - -# Uses quick by default -CLASSPATH=`tools/quickcp` - -AGENT=${YOURKIT_PATH:-/Applications/YourKit.app/bin/mac/libyjpagent.jnilib} - -java $JAVA_OPTS \ - -classpath $CLASSPATH \ - -agentpath:$AGENT=$YNP_STARTUP_OPTIONS \ - scala.tools.nsc.MainGenericRunner -usejavacp \ - -i <(cat <<EOF -lazy val profiler = new scala.tools.util.YourkitProfiling { } -import profiler._ -EOF -) "$@" |