commit 04a9433c46e2007faa4a64c615fd3b7ebec5802e
author Søren Gjesse <sgjesse@google.com> Mon Jan 27 15:35:42 2020 +0100
committer Søren Gjesse <sgjesse@google.com> Mon Jan 27 15:35:42 2020 +0100
tree 2f977fc6a865e3fbb9c914d104b8833c565eac04
parent 29f84fe5218e105a42c89b20d7b0fcac9ba0f27c

Add timing printing option to run_on_app.py

Change-Id: Ica3500846f796ab8501bc1f8a2ffe7d224688450

tools/run_on_app.py

diff --git a/tools/run_on_app.py b/tools/run_on_app.py
index c31bfea..ab01595 100755
--- a/tools/run_on_app.py
+++ b/tools/run_on_app.py
@@ -163,6 +163,10 @@
                     help='Setting the increment',
                     type='int',
                     default=32)
+  result.add_option('--print-times',
+                    help='Include timing',
+                    default=False,
+                    action='store_true')
 
   return result.parse_args(argv)
 
@@ -431,6 +435,9 @@
   if not options.ignore_java_version:
     utils.check_java_version()
 
+  if options.print_times:
+    extra_args.append('-Dcom.android.tools.r8.printtimes=1')
+
   outdir = options.out
   (version_id, data) = get_version_and_data(options)