CLI: drop "-pp" flag for preloader profiling

It was never documented and was never supposed to be used. In the rare case
when someone must profile preloader, he can temporarily change "notime" to
"time" in the kotlinc-jvm bash/batch script
This commit is contained in:
Alexander Udalov
2014-08-10 20:30:03 +04:00
parent 5a792ca11f
commit d3f201dd45
4 changed files with 14 additions and 50 deletions
+2 -7
View File
@@ -2,7 +2,7 @@
#
##############################################################################
# Copyright 2002-2011, LAMP/EPFL
# Copyright 2011-2013, JetBrains
# Copyright 2011-2014, JetBrains
#
# This is free software; see the distribution for copying conditions.
# There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
@@ -45,7 +45,6 @@ fi
# -D options will be available as system properties.
declare -a java_args
declare -a kotlin_args
profile_preloader="notime"
while [ $# -gt 0 ]; do
case "$1" in
@@ -63,10 +62,6 @@ while [ $# -gt 0 ]; do
kotlin_args=("${kotlin_args[@]}" "$1")
shift
;;
-pp)
profile_preloader="time"
shift
;;
*)
kotlin_args=("${kotlin_args[@]}" "$1")
shift
@@ -87,4 +82,4 @@ CPSELECT="-cp "
$JAVA_OPTS \
"${java_args[@]}" \
${CPSELECT}"${KOTLIN_HOME}/lib/kotlin-preloader.jar" \
org.jetbrains.jet.preloading.Preloader "${KOTLIN_HOME}/lib/kotlin-compiler.jar:${KOTLIN_HOME}/lib/kotlin-runtime.jar" org.jetbrains.jet.cli.js.K2JSCompiler 4096 $profile_preloader "$@"
org.jetbrains.jet.preloading.Preloader "${KOTLIN_HOME}/lib/kotlin-compiler.jar:${KOTLIN_HOME}/lib/kotlin-runtime.jar" org.jetbrains.jet.cli.js.K2JSCompiler 4096 notime "$@"