aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-05 23:16:18 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-05 23:16:18 +0200
commit49e17701ffbfebf531c050d191b641c45466b5e4 (patch)
tree442032a382ad087424407b13753f56e63e591a83
parent805da5c405847547f19a8e7967c4e32abc05b790 (diff)
Enable Flex warnings
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0c93ec0..d003722 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ $S/main.o: $S/main.c $S/lexer.h $S/parser.h $S/pinocchio.h $S/wrapper.h
$S/parser.o: $S/parser.c $S/lexer.h $S/parser.h $S/pinocchio.h $S/wrapper.h
$S/lexer.c $S/lexer.h: $S/lexer.l
- flex --header-file=$S/lexer.h -o $S/lexer.c $<
+ flex --warn --header-file=$S/lexer.h -o $S/lexer.c $<
$S/parser.c $S/parser.h: $S/parser.y
bison -Wall -Wcounterexamples -dvo $S/parser.c $<