Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index c7f03df49b4a5761b2e3621ab35b05e1c85e6b09..79ceee8fa63940e2fb9abd2ffd5e1bd28926fbb9 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -332,6 +332,8 @@ IFILES = ctbase.i  cttable.i  exprDataQuite.i
 
 EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC)  \
             flags.def cscanner.l flex.head flex.reset $(IFILES) \
+            .splintrc LICENSE \
+            Headers/cscannerHelp.h \
  Headers/256_random_numbers.nf  Headers/splintMacros.nf        Headers/reservedNames.nf
 
 #Makefile.binary.am   Makefile.binary.in