1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Make timediff an option

This commit is contained in:
msvensson@pilot.mysql.com
2008-05-04 21:45:38 +02:00
parent fb88bd04a6
commit 63a0cdb59d

View File

@ -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");