diff --git a/etc/bench.pl.in b/etc/bench.pl.in index 036bf52e..2f669091 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -842,16 +842,20 @@ sub compile ($$) if ($gbench) { print $makefile <