]> andersk Git - splint.git/blobdiff - test/Makefile.am
Fixed problem with identifyFlag revealed by splint -help flags full
[splint.git] / test / Makefile.am
index 0580b184a16305704de59b37f529f1c19620ca65..877d8910ce2c8f0b388f5194e88f7d48b796678b 100644 (file)
@@ -82,6 +82,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:
This page took 0.030606 seconds and 4 git commands to generate.