It should be --time, not -time.

It should be -list_targets, not --list_targets. The -list should better be -list_phases now that we have several sets to list.
2017-03-28 02:39:29 +03:00
parent e8327bc4f8
commit 89ea6396f6
3 changed files with 5 additions and 5 deletions
@@ -24,8 +24,8 @@ while [ $# -gt 0 ]; do
      echo "TODO: need to pass arguments to all the tools somehow."
      shift
      ;;
-    -time)
-      konan_args=("${konan_args[@]}" -time)
+    --time)
+      konan_args=("${konan_args[@]}" --time)
      java_args=("${java_args[@]}" -agentlib:hprof=cpu=samples -Dkonan.profile=true)
      JAVACMD="time $JAVACMD"
      shift