Apparently splint does not correctly handle the case in which a #defined constant...

[splint.git] / lib / Makefile.am

diff --git a/lib/Makefile.am b/lib/Makefile.am
index 07f8c094a7bbdddceec80d52fe4f334a0af2f824..74d952721fd906781e64638fcc45d38b7335d217 100644 (file)
--- a/lib/Makefile.am
+++ b/lib/Makefile.am
@@ -18,6 +18,10 @@ splintlib_DATA = \
 ## Include them in the distribution
 EXTRA_DIST = $(splintlib_DATA)
 
+##get rid of lcd files if the user does a make clean
+CLEANFILES = posix.lcd standard.lcd unix.lcd \
+             posixstrict.lcd  standardstrict.lcd  unixstrict.lcd
+
 
 ## Rules to make splint & the dumps