diff --git a/ChangeLog b/ChangeLog index 4216d429..5e976a75 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2008-11-11 Akim Demaille + + Improve display of directives. + * etc/bench.pl.in (parse_term): Don't add useless eol. + 2008-11-11 Akim Demaille Use string_cast in the bench. diff --git a/etc/bench.pl.in b/etc/bench.pl.in index 1ee98b7f..9fae4c4a 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -995,7 +995,7 @@ sub parse_term () { for my $lhs (@lhs) { - push @res, "$lhs\n$rhs"; + push @res, $lhs . ($lhs && $rhs ? "\n" : "") . $rhs; } } }