diff --git a/cmd/run_konan b/cmd/run_konan index a46b1cd0a19..e2965caf26c 100755 --- a/cmd/run_konan +++ b/cmd/run_konan @@ -38,10 +38,6 @@ while [ $# -gt 0 ]; do java_args=("${java_args[@]}" "${1:2}") shift ;; - -X*) - echo "TODO: need to pass arguments to all the tools somehow." - shift - ;; --time) konan_args=("${konan_args[@]}" --time) java_args=("${java_args[@]}" -agentlib:hprof=cpu=samples -Dkonan.profile=true) diff --git a/cmd/run_konan.bat b/cmd/run_konan.bat index 81ce6d54242..f73429a1f6b 100644 --- a/cmd/run_konan.bat +++ b/cmd/run_konan.bat @@ -38,10 +38,6 @@ if not "!ARG!" == "" ( set "JAVA_ARGS=%JAVA_ARGS% !ARG:~2!" goto next ) - if "!ARG:~0,2!" == "-X" ( - echo "TODO: need to pass arguments to all the tools somehow." - goto next - ) if "!ARG!" == "--time" ( set "KONAN_ARGS=%KONAN_ARGS% --time" set "JAVA_ARGS=%JAVA_ARGS% -agentlib:hprof=cpu=samples -Dkonan.profile=true"