diff options
| -rw-r--r-- | Configurations/unix-Makefile.tmpl | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index b0aff03ad1..aa4b3ec0ec 100644 --- a/Configurations/unix-Makefile.tmpl +++ b/Configurations/unix-Makefile.tmpl @@ -1096,7 +1096,16 @@ generate_fuzz_oids: generate_doc_buildinfo: ( $(PERL) -I$(BLDDIR) -Mconfigdata \ $(SRCDIR)/util/dofile.pl -o Makefile \ - $(SRCDIR)/doc/build.info.in > $(SRCDIR)/doc/build.info ) + $(SRCDIR)/doc/build.info.in \ + > $(SRCDIR)/doc/build.info.new; \ + if ( test -e $(SRCDIR)/doc/build.info \ + && cmp $(SRCDIR)/doc/build.info.new $(SRCDIR)/doc/build.info \ + > /dev/null ); \ + then \ + rm $(SRCDIR)/doc/build.info.new; \ + else \ + mv $(SRCDIR)/doc/build.info.new $(SRCDIR)/doc/build.info; \ + fi ) # Set to -force to force a rebuild ERROR_REBUILD= |