From bd0a1a9ce16a2dcc47cd6370112f5ec53f69dd4d Mon Sep 17 00:00:00 2001
From: Alexander Gorshenev <alexander.gorshenev@jetbrains.com>
Date: Wed, 7 Jun 2017 14:19:55 +0300
Subject: [PATCH] A simple time prepend.

---
 cmd/run_konan | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cmd/run_konan b/cmd/run_konan
index 4fe959e777e..830a34001cb 100755
--- a/cmd/run_konan
+++ b/cmd/run_konan
@@ -45,7 +45,7 @@ while [ $# -gt 0 ]; do
     --time)
       konan_args=("${konan_args[@]}" --time)
       java_args=("${java_args[@]}" -agentlib:hprof=cpu=samples -Dkonan.profile=true)
-      JAVACMD="time $JAVACMD"
+      TIMECMD=time
       shift
       ;;
      *)
@@ -86,5 +86,5 @@ KONAN_CLASSPATH="$KOTLIN_JAR:$INTEROP_JAR:$STUB_GENERATOR_JAR:$INTEROP_INDEXER_J
 TOOL_CLASS=org.jetbrains.kotlin.cli.utilities.MainKt
 
 LIBCLANG_DISABLE_CRASH_RECOVERY=1 \
-"$JAVACMD" "${java_opts[@]}" "${java_args[@]}" -cp "$KONAN_CLASSPATH" "$TOOL_CLASS" "$TOOL_NAME" "${konan_args[@]}"
+$TIMECMD "$JAVACMD" "${java_opts[@]}" "${java_args[@]}" -cp "$KONAN_CLASSPATH" "$TOOL_CLASS" "$TOOL_NAME" "${konan_args[@]}"