aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-05 14:20:54 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-05 14:20:54 +0200
commitbac9982d2939c5949238ec4c0ee62751e398e30f (patch)
tree3775ae4a6782f08184c4004b92072c2fc008b1d1 /Makefile
parent57cd660271b9d2b014d5276f146f322e1aeeee2e (diff)
Enable Bison warnings
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 75452f3..0c93ec0 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ $S/lexer.c $S/lexer.h: $S/lexer.l
flex --header-file=$S/lexer.h -o $S/lexer.c $<
$S/parser.c $S/parser.h: $S/parser.y
- bison -dvo $S/parser.c $<
+ bison -Wall -Wcounterexamples -dvo $S/parser.c $<
clean:
rm -f $$(git ls-files -oi --exclude-standard)