*** empty log message ***

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index a3386d2239637f85f810f7cc08597d13b95813bc..2dd90c04aba805b945a3aeb9b62eed33955a3840 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -158,6 +158,9 @@ cgrammar.o : cgrammar.c
 cscanner.o : cscanner.c
        $(CC) $(CPPFLAGS) -c $*.c
 
+mtgrammar.o : mtgrammar.c
+       $(CC) $(CPPFLAGS) -c $*.c
+
 llgrammar.o : llgrammar.c
        $(CC) $(CPPFLAGS) -c $*.c
 
@@ -171,6 +174,7 @@ Headers/signature_gen.h : signature.c
 Headers/cgrammar2.h : cgrammar.c
 Headers/cgrammar_tokens.h : cgrammar.c
 Headers/llgrammar.h : llgrammar.c
+Headers/mtgrammar_tokens.h : mtgrammar.c
 
 Headers/flag_codes.gen : flags.def
        grep "FLG_" flags.def > Headers/flag_codes.gen