Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 55d5b671b6dc5c9f5b95b146168706dc32165616..79e5c88a1a51cd4b347f50e112b1593570790484 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -927,7 +927,6 @@ version:
 
 help:
        -@$(SPLINT)
-       -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
        -@$(SPLINT) -help
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint