diff options
| -rwxr-xr-x | Porting/bisect.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Porting/bisect.pl b/Porting/bisect.pl index 81a7d9b073..6a51f6782d 100755 --- a/Porting/bisect.pl +++ b/Porting/bisect.pl @@ -225,7 +225,7 @@ system 'git', 'bisect', 'run', $^X, $runner, @ARGV and die; END { my $end_time = time; - printf "That took %d seconds\n", $end_time - $start_time + printf "That took %d seconds.\n", $end_time - $start_time if defined $start_time; } |