Fixed problem with NULL being changed.

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index 5ea77df4f6a7c8003261564a02d61e0668ce70c0..dffda81e4fda0dda5473076ababaf1f13ce1ec2a 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -632,7 +632,7 @@ CCLD = $(CC)
 LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
 CFLAGS = @CFLAGS@
 DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-DIST_COMMON = Makefile.am Makefile.in
+DIST_COMMON = Makefile.am Makefile.in TODO
 SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
 
 all: $(BUILT_SOURCES)