X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/146e25eb1ce61cf25ba20fd3db7b55fc6c74d3ad..4c9767b33603c69226bbb51e618873fe972dd7ac:/test/Makefile.in diff --git a/test/Makefile.in b/test/Makefile.in index 0b184c3..8855d23 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -115,7 +115,7 @@ UNITTESTS = \ args blocks break cases cast charlit clauses commentchar compdestroy \ constannot controldepth csyntax czechnames czechoslovaknames deadparam \ decl enum exports external fields flags forbody format freearray \ - funcpointer glob globals impabstract init inparam internal iter keep libs \ + funcpointer glob globals impabstract info init inparam internal iter keep libs \ linked lintcomments list macros macrosef merge mergenull modifies modtest moduncon \ mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \ postnotnull preds prefixes printflike rc refcounts release repexpose \ @@ -132,7 +132,7 @@ SPLINTTESTS = $(UNITTESTS) $(INTEGTESTS) QUICKTESTS = db3 -CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" +CLEANOUTPUT = $(GREP) -v "Splint 3." | $(GREP) -v "$(SPLINT)" | $(GREP) -v "^make.*\[[1-9]*\]:" | $(GREP) -v "config.status: creating test/Makefile" | $(GREP) -v "cd .. && " | $(GREP) -v "CONFIG_HEADERS=" | $(GREP) -v "CONFIG_FILES=" ### Rules for tests start here @@ -1211,6 +1211,14 @@ impabstract: $(SPLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2 $(SPLINTR) -accessmodule +hints +impabstract impabstract -expect 4 +### +### evans 2001-12-30: Handle unrecognized pre-processor directives +### (Reported by Pierluigi Sanzani) + +.PHONY: info +info: + ${SPLINTR} info.c -expect 4 + ### evans 2001-10-14: Expected errors updated .PHONY: init init: