X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/51bc6ecce8b6e9877dccd8bda2cf220b47e6929c..e63e0a4a31c06a56312538440dd5b384e19ddb55:/src/Makefile.am diff --git a/src/Makefile.am b/src/Makefile.am index 317310d..bc16e65 100644 --- 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