From 63a0cdb59d90d3f34a830c9d2bdc58641ed953da Mon Sep 17 00:00:00 2001
From: "msvensson@pilot.mysql.com" <>
Date: Sun, 4 May 2008 21:45:38 +0200
Subject: [PATCH] Make timediff an option

---
 mysql-test/mysql-test-run.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl
index 0fc5ed6aeee..a50bd6be8d0 100755
--- a/mysql-test/mysql-test-run.pl
+++ b/mysql-test/mysql-test-run.pl
@@ -789,6 +789,7 @@ sub command_line_setup {
              'shutdown-timeout=i'       => \$opt_shutdown_timeout,
              'warnings!'                => \$opt_warnings,
 	     'timestamp'                => \&report_option,
+	     'timediff'                 => \&report_option,
 
              'help|h'                   => \$opt_usage,
             ) or usage("Can't read options");