diff --git a/tools/compiledump.py b/tools/compiledump.py
index f167821..83f775d 100755
--- a/tools/compiledump.py
+++ b/tools/compiledump.py
@@ -8,6 +8,7 @@
 import shutil
 import subprocess
 import sys
+import time
 import zipfile
 
 import archive
@@ -165,6 +166,11 @@
                         help="Don't build when using --version main",
                         default=False,
                         action='store_true')
+    parser.add_argument('--print-runtimeraw',
+                        metavar='BENCHMARKNAME',
+                        help='Print the line \'<BENCHMARKNAME>(RunTimeRaw):' +
+                        ' <elapsed> ms\' at the end where <elapsed> is' +
+                        ' the elapsed time in milliseconds.')
     return parser
 
 
@@ -676,9 +682,15 @@
         cmd.extend(compilerargs)
         utils.PrintCmd(cmd, worker_id=worker_id)
         try:
-            print(
-                subprocess.check_output(
-                    cmd, stderr=subprocess.STDOUT).decode('utf-8'))
+            start = time.time()
+            output = subprocess.check_output(cmd, stderr=subprocess.STDOUT)
+            end = time.time()
+            print(output.decode('utf-8'))
+            if args.print_runtimeraw:
+                benchmark_name = args.print_runtimeraw
+                duration = int((end - start) * 1000)
+                print('')
+                print('%s(RunTimeRaw): %s ms' % (benchmark_name, duration))
             return 0
         except subprocess.CalledProcessError as e:
             if args.nolib \