Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 930d2b5d60d99324b548f3b82b3aabb986193f0e..79e5c88a1a51cd4b347f50e112b1593570790484 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -240,6 +240,9 @@ EXTRA_DIST = ./abst_t.lcl \
               ./db3/erc.lcl \
               ./db3/eref.lcl \
               ./db3/ereftab.lcl \
+              ./db3/README \
+              ./db3/clean \
+              ./db3/tidy \
               ./tq.lcl \
               ./ud2.lcl \
               ./for/.splintrc \
@@ -924,7 +927,6 @@ version:
 
 help:
        -@$(SPLINT)
-       -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
        -@$(SPLINT) -help
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint