[PATCH] Fix output in mklog

[Marek Polacek]

The new mklog script prints three spaces after the date part, which
is wrong.  Thus fixed by adjusting the split pattern.  Tested manually.

2012-05-31  Marek Polacek  <pola...@redhat.com>

        * mklog: Prevent printing three spaces after the date.

--- gcc/contrib/mklog.mp        2012-05-31 22:03:07.492457065 +0200
+++ gcc/contrib/mklog   2012-05-31 22:03:21.824493596 +0200
@@ -29,7 +29,7 @@
 # Change these settings to reflect your profile.
 $username = $ENV{'USER'};
 $name = `finger $username | grep -o 'Name: .*'`;
-@n = split(/:/, $name);
+@n = split(/: /, $name);
 $name = @n[1]; chop($name);
 $addr = $username . "\@my.domain.org";
 $date = `date +%Y-%m-%d`; chop ($date);

        Marek