Got gmake dist to work

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 317310dc9b77f906f2b94b70a4bb2591e974b3e1..bc16e650cd0b51e6da263b3cf0288908ce591c89 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -141,7 +141,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/declaratorInvNodeList.h  Headers/pairNodeList.h \
           Headers/declaratorNode.h         Headers/paramNode.h \
           Headers/declaratorNodeList.h     Headers/paramNodeList.h \
-          Headers/dmalloc.h                Headers/portab.h \
+          Headers/dmalloc.h                Headers/osd.h \
           Headers/ekind.h                  Headers/pp.h \
           Headers/enumNameList.h           Headers/privateNode.h \
           Headers/enumNameSList.h          Headers/programNode.h \
@@ -229,6 +229,7 @@ HEADERSRC = Headers/abstBodyNode.h           Headers/ltokenList.h \
           Headers/lsymbolList.h            Headers/warnClause.h \
           Headers/lsymbolSet.h             Headers/ynm.h \
           Headers/ltoken.h   Headers/splintMacros.nf  \
+          Headers/typeId.h \
           Headers/pointers.h   Headers/mstring.h   Headers/help.h