From 2b518d621f515faca9b76c37720c4d82de142795 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Mon, 29 Jun 2020 07:34:04 +0200
Subject: bench: make it easy to edit the generated files

* etc/bench.pl.in (&compile): Generate rules that compile the
generated files independently of the source files.
---
 etc/bench.pl.in | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'etc')

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
     }
-- 
cgit v1.2.1