]> git.saurik.com Git - bison.git/blobdiff - doc/local.mk
Fix glr.cc's debug level handling.
[bison.git] / doc / local.mk
index a352459d7b476105ea845f835f8e6b83c5519fc7..d13979049f67edb464875f0c4421beb978fc7983 100644 (file)
@@ -29,10 +29,12 @@ clean-local:
 CROSS_OPTIONS_PL = $(top_srcdir)/build-aux/cross-options.pl
 CROSS_OPTIONS_TEXI = $(top_srcdir)/doc/cross-options.texi
 $(CROSS_OPTIONS_TEXI): $(top_srcdir)/src/getargs.c $(CROSS_OPTIONS_PL)
 CROSS_OPTIONS_PL = $(top_srcdir)/build-aux/cross-options.pl
 CROSS_OPTIONS_TEXI = $(top_srcdir)/doc/cross-options.texi
 $(CROSS_OPTIONS_TEXI): $(top_srcdir)/src/getargs.c $(CROSS_OPTIONS_PL)
-       -rm -f $@ $@.tmp
+       mv -f $@ $@~ || : >$@~
+       -rm -f $@.tmp
        $(MAKE) $(AM_MAKEFLAGS) src/bison$(EXEEXT)
        $(top_builddir)/src/bison --help |                              \
        perl $(CROSS_OPTIONS_PL) $(top_srcdir)/src/scan-gram.l >$@.tmp
        $(MAKE) $(AM_MAKEFLAGS) src/bison$(EXEEXT)
        $(top_builddir)/src/bison --help |                              \
        perl $(CROSS_OPTIONS_PL) $(top_srcdir)/src/scan-gram.l >$@.tmp
+       diff -u $@~ $@.tmp || true
        mv $@.tmp $@
 MAINTAINERCLEANFILES = $(CROSS_OPTIONS_TEXI)
 
        mv $@.tmp $@
 MAINTAINERCLEANFILES = $(CROSS_OPTIONS_TEXI)