Fixed problem with identifyFlag revealed by splint -help flags full

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index dd3a4aaac80921da0a0961bd1bc84db5da275142..19d074d4eeb8b0b26fddc3b605e6a3b4b58aa2c5 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -910,6 +910,8 @@ help:
        -@$(SPLINTP) +boolint +boolint 
        -@$(SPLINTP) -help flags alpha
        -@$(SPLINTP) -help flags all
+       -@$(SPLINTP) -help flags full
+       -@$(SPLINTP) -help flags manual
 
 .PHONY: clean-local
 clean-local: