Put manual in CVS

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index ad6573f52d404f11380234efe023c16ee1a55b1e..8f1c2424ebe875a6a18aa06b27acdbfb55ec6e60 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -353,6 +353,7 @@ BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
 
 
 CHECKS = $(subst .c,.check,$(splint_SOURCES))
+
 CLEANFILES = splint$(EXEEXT)
 subdir = src
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -993,7 +994,8 @@ Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y
        @if test x$(BISON) = xno; then \
          $(CP) mtgrammar.c.der mtgrammar.c; \
        else \
-         echo '* Making mygrammar.c'; \
+         echo '* Making mtgrammar.c'; \
+         echo '* Expect 11 shift/reduce conflicts.'; \
          $(BISON) $(YFLAGS) -p mt mtgrammar.y; \
          $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
          $(CP) mtgrammar.c mtgrammar.c.der; \
@@ -1033,7 +1035,7 @@ nocheck:
 
 .PHONY: test
 test:
-       cd ../test; ${MAKE} --no-print-directory
+       ${MAKE} ; cd ../test; ${MAKE} --no-print-directory
 
 ### Automake generates wrong tags
 .PHONY: etags
@@ -1054,6 +1056,10 @@ lintbuffercheck:
 
 all: splint$(EXEEXT)
 
+up: 
+       -rm cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c
+       $(MAKE) clean
+
 .c.o:
        @echo "Compiling "$<"..."; \
        source='$<' object='$@' libtool=no \