[code-saturne] 04/12: Several tries for target html to workaround random failures

[Gilles Filippini]

This is an automated email from the git hooks/post-receive script.

pini pushed a commit to branch master
in repository code-saturne.

commit 0b87964e08470b21bdb02a53738f728fe408dc82
Author: Gilles Filippini <pini at debian.org>
Date:   Fri Jul 3 14:12:22 2015 +0200

    Several tries for target html to workaround random failures
---
 debian/rules | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 75fa214..cc43078 100755
--- a/debian/rules
+++ b/debian/rules
@@ -60,4 +60,6 @@ binary-install/code-saturne-include::
 	dh_python2 -pcode-saturne-include
 
 build/code-saturne-doc::
-	$(MAKE) html pdf
+	# Several tries for target html to workaround random failures
+	$(MAKE) html || $(MAKE) html || $(MAKE) html
+	$(MAKE) pdf

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/code-saturne.git