From 49e17701ffbfebf531c050d191b641c45466b5e4 Mon Sep 17 00:00:00 2001
From: Thomas Voss <mail@thomasvoss.com>
Date: Thu, 5 Sep 2024 23:16:18 +0200
Subject: Enable Flex warnings

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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 $<
-- 
cgit v1.2.3