From 30b996460c88670847c5b664f38d0fdff3042aff Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 3 Feb 2016 22:30:51 +0100 Subject: [PATCH] doc: run Doxygen twice to work around its bugs * doc/Makefile.am: Here. --- doc/Makefile.am | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/doc/Makefile.am b/doc/Makefile.am index fc597501b..f03c24110 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -34,7 +34,12 @@ doc: fast-doc: $(MAKE) Doxyfile - $(DOXYGEN) +## Doxygen 1.8.x will easily segfault during the parallel runs of dot. +## 1.8.11 is supposed to be fixed, but until this version reaches all +## our build hosts, let's try to run doxygen a second time when the +## first attempt fails. +## https://bugzilla.gnome.org/show_bug.cgi?id=756241 + $(DOXYGEN) || $(DOXYGEN) touch $(srcdir)/stamp $(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac