Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index 63314821c2d787e68f4190b341bd7923e9f830a4..4fd04a8773498d7c5b7d7f0c172da70fa6ee6fe8 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -83,7 +83,6 @@ version:
 
 help:
        -@$(SPLINT)
-       -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
        -@$(SPLINT) -help
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint