Got gmake dist to work

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index 51b5a3ef4ea4e4f68c3652d706a570a6f137adb9..63314821c2d787e68f4190b341bd7923e9f830a4 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -89,7 +89,6 @@ help:
        -@$(SPLINTP) +boolint +boolint 
        -@$(SPLINT) -help flags alpha
 
-
 #commenting these out for the release because they will almost always fail
 #since the default will only fit one system
 #Don't want to panic the user... 
@@ -677,7 +676,7 @@ parentype:
 preds:
        -$(SPLINTR) +hints preds.c -expect 6
        -$(SPLINTRN) +hints preds.c -weak -expect 1
-       -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
+       -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10
 
 .PHONY: prefixes
 prefixes:
@@ -1017,6 +1016,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 \