diff --git a/internal.inc.php b/internal.inc.php
index c1b8e01..82285b9 100644
--- a/internal.inc.php
+++ b/internal.inc.php
@@ -171,6 +171,7 @@ function _process_argv(array &$argv)
   global $TASKMAN_BATCH;
   global $TASKMAN_NO_DEPS;
   global $TASKMAN_FILE_CHANGES;
+  global $TASKMAN_SHOW_BENCH;
 
   $filtered = array();
   $process_defs = false;
@@ -185,10 +186,6 @@ function _process_argv(array &$argv)
         $filtered[] = $argv[$j];
       break;
     }
-    else if($v == '-D')
-    {
-      $process_defs = true;
-    }
     else if($v == '-V')
     {
       $TASKMAN_LOG_LEVEL = 2;
@@ -213,6 +210,10 @@ function _process_argv(array &$argv)
     {
       $TASKMAN_NO_DEPS = true;
     }
+    else if($v == '--bench')
+    {
+      $TASKMAN_SHOW_BENCH = true;
+    }
     else if($v == '-c')
     {
       if(!isset($argv[$i+1]))
@@ -229,6 +230,10 @@ function _process_argv(array &$argv)
 
       ++$i;
     }
+    else if($v == '-D')
+    {
+      $process_defs = true;
+    }
     else if($process_defs)
     {
       $eq_pos = strpos($v, '=');
@@ -308,12 +313,12 @@ function _show_bench(array $tasks, int $limit = 5)
   if(!$times)
     return;
 
-  \taskman\log(2, "Top ".count($times)." time consuming tasks:\n");
+  \taskman\log(1, "Top ".count($times)." time consuming tasks:\n");
   $n = 0;
   foreach($times as $name => $time)
   {
     ++$n;
-    \taskman\log(2, "$n) Task '$name': $time sec\n");
+    \taskman\log(1, "$n) Task '$name': $time sec\n");
   }
 }
 
diff --git a/taskman.inc.php b/taskman.inc.php
index 60dc735..0a53945 100644
--- a/taskman.inc.php
+++ b/taskman.inc.php
@@ -16,6 +16,7 @@ $GLOBALS['TASKMAN_LOGGER'] = '\taskman\internal\_default_logger';
 $GLOBALS['TASKMAN_ERROR_HANDLER'] = null;
 $GLOBALS['TASKMAN_START_TIME'] = 0;
 $GLOBALS['TASKMAN_FILES_CHANGES'] = null;
+$GLOBALS['TASKMAN_SHOW_BENCH'] = false;
 
 include_once(__DIR__ . '/internal.inc.php');
 include_once(__DIR__ . '/util.inc.php');
@@ -525,7 +526,8 @@ function main(
   else if($default_task)
     run($default_task, $argv);
 
-  internal\_show_bench($task_objs);
+  if($GLOBALS['TASKMAN_SHOW_BENCH'])
+    internal\_show_bench($task_objs);
 
   log(0, "***** All done (".round(microtime(true)-$GLOBALS['TASKMAN_START_TIME'],2)." sec.) *****\n");
 }