diff options
-rwxr-xr-x | etc/bench.pl.in | 8 |
1 files changed, 6 insertions, 2 deletions
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 <<EOF; -$base.o: $base.y +$base.$ext: $base.y \t@{[length $my_bison ? $my_bison : $bison]} $base.y -o $base.$ext + +$base.o: $base.$ext \t$compiler -c -o $base.o $cflags $base.$ext EOF } else { print $makefile <<EOF; -$base: $base.y +$base.$ext: $base.y \t@{[length $my_bison ? $my_bison : $bison]} $base.y -o $base.$ext + +$base: $base.$ext \t$compiler -o $base $cflags $base.$ext EOF } |