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

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 4685875c3ff054505a1f6c21be317a95ed127f6a..b642546117b27edde69df6961e8113de65be9200 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -237,6 +237,8 @@ IFILES =  ctbase.i  cttable.i  exprDataQuite.i
 ## Non-built files we need to distribute
 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